If the users enters the timestamp for a version manually, we might end up with multiple copies with the same timestamp. This is fine in principle, but since we want the users to be able to retrieve the versions using the timestamp as an index, this can cause ambiguity. (See #86 )