Added code to remove properties from filename text in function revert-matching-buffers