chiark / gitweb /
extract-profile.in: Property name fixup wasn't applied to ${...} tokens.