chiark / gitweb /
Modified QUERY-ENUM-VALUES to return nicknames if optional argument is :NICKNAME