Add remote-manpage support
Replace an ugly hack
Add quick-remote commands
Add tmux support to my PARI/GP frontend
Set a timeout for boot-time time setting