I found that contributions are accepted through GitHub and havesubmitted a fix here: https://github.com/postgres/pgcommitfest/pull/45