Web frontend for PatternCatalog.org