chiark / gitweb /
encode db-file names, instead of just replacing '/'