Last modified: 2013-12-09 16:02:39 UTC
This would only matter if someone used his own wiki and his own remote repo (not InstantCommons), so not terribly important, but we should probably put the name of the repository from the file object there.