undocumented (was: terminal support ...)

[Alessandro Rubini]

>   Agreed. I'll document the serial stuff before next release.

I made a quick search yesterday, and I found these commands are
undocumented: debug halt hiddenmenu reboot serial terminal

I planned to document them while I dig in the code. If you want (and
trust me), you can avoid that boring step.

/alessandro