HomeIsabelle/Phabricator

avoid odd suffix in published HTML library;