sysrq documentation: document why the command header only is shown