chiark / gitweb /
rename dictionary-pixmap-options to database-info-fetch