Re: To pgAdmin III support 2019-06-04 <20190604124400(dot)GA4782(at)msg(dot)df7cb(dot)de>> The problem is in docs/en_US/build_code_snippet.py:
Christoph