chiark / gitweb /
keyfunc.sh.in, extract-profile.in: Put profile name before the filenames.