PDF format checker compatible with HotCRP banal - View it on GitHub