Google Maps Timeline to GeoJSON

Google Maps Timeline now lets you export your data. The only problem is that you get a rather funky JSON file. I wrote a really quick and dirty Python script to convert the Google JSON to GeoJSON. Nothing fancy, but hopefully of some use!