pgdocsbot

github.com ↗

Browser extension to redirect PostgreSQL docs links to the current version.