Manpages of postgresql-12 in Debian testing