Thanks for the link, @jlgimeno. Looks thorough and helpful! And yes, I’m indeed finding deployment to be a hard problem, haha.
That’s an interesting thought, @KenWhitesell. I actually thought about trying that, but I knew that if I made changes in the future, I would forget to do that before pushing code, so I didn’t even give it a shot.