Fix bug in code to output file-local hash URIs
Add IndexedForumla.applyPatch()