https://carisca.github.io/posts/isabelle-fortnite-tracker/