On Wednesday, 17 August 2022 at 16:00:58 UTC, Paul Backus wrote: > On Wednesday, 17 August 2022 at 10:45:16 UTC, tastyminerals > wrote: Cannot accesse `https://gist.github.com/pbackus/12e407ae96a54ced6ea9b3f72be25264`, I can't access `gist.github`. Can you provide another GitHub address?