Comment by Daneel_

Well, I was able to do it fairly simply online via github actions with the help of chatgpt.

Chat history (excuse the lazily-constructed prompt): https://chatgpt.com/share/6acf829b-5428-83ec-939c-acbc7805a3...