dot/mykermrc.in: Useful commands for dealing with server consoles.