@peterbe the reason it uses random is that I am seeding it (see the top of the file) with a known seed, so every time this script is run (assuming no other changes) nothing will be different in the output except for the datetime.

```
>>> import random
>>> random.seed(5)
>>> str(uuid.UUID(int=random.getrandbits(128)))
'5bc8fbbc-bde5-c099-4164-d8399f767c45'
>>> str(uuid.UUID(int=random.getrandbits(128)))
'd76d4330-f144-6bea-b0c1-1fdecb91ce37'
>>> str(uuid.UUID(int=random.getrandbits(128)))
'87b0b125-ec1d-7da0-a6eb-8c9ebd69fe29'
>>> random.seed(5)
>>> str(uuid.UUID(int=random.getrandbits(128)))
'5bc8fbbc-bde5-c099-4164-d8399f767c45'
>>> str(uuid.UUID(int=random.getrandbits(128)))
'd76d4330-f144-6bea-b0c1-1fdecb91ce37'
>>> str(uuid.UUID(int=random.getrandbits(128)))
'87b0b125-ec1d-7da0-a6eb-8c9ebd69fe29'
```