chiark / gitweb /
man: document Restart= a bit more