chiark / gitweb /
bootctl: rename status output header