chiark / gitweb /
resolved: add tool to query resolved