chiark / gitweb /
script: Break out treat_as_pinned