Generated docs for https://github.com/mocchira/otp_bug_reploduce_pg