Yes you are right, its that simple. I just made a Github Action wrapper around this 2 commands, that download and then caches the godot/butler files, so the next tun gets the files from the cache.