mksh: remove stupid nonsense from manpage.