chiark / gitweb /
extract-profile: Allow `%' characters in internal property names.