chiark / gitweb /
debian/: Fix userv-ucgi docs rename