cut the word eventstamp out of most file names, but didn't like the style inconsistency that it caused, so changed it back :(