Curious, I checked that person's homepage. Looks about right for the 'no fun allowed' attitude:

https://called2voyage.github.io/