Hi! The fonts used on postgresql.org/docs are served via Google domains,which unnecessarily leaks user information to a third-party. Can thefonts be served from postgresql.org instead?