chiark / gitweb /
man: document the -b special boot option