Just edited the post to have a link to the GitHub repo: https://github.com/elipsitz/internet-connected-pinball