Merge branch 't/projlist/case-insensitive-sort' into refs/top-bases/gitweb-additions