chiark / gitweb /
remove TeX manual, it moved to https://gitlab.com/fdroid/fdroid-website