Btw. Tiny Tapeout has a Discord where more people hang around, so you likely get better/faster answers: https://tinytapeout.com/discord