chiark / gitweb /
Remove dead code and unexport some calls