Tweaks to the W3C prov-wg's documents repository.