chiark / gitweb /
extract-profile: Add manpage.