does any one now what encoder is used to encode the save game file
base64-encoded gzip with json inside, standard godot stuff.