chiark / gitweb /
python/docs: use the same links on top as in man pages