happyhacks

Don't know about your network - but I have been running it for years without any issue, just a docker pull to update the containers once a while

youtube was likely broken because

jnn-pa.googleapis.com

was likely in one of the lists - add it to "Exact allow" list

Similarly you can allow

googleadservices.com

but that is too much IMO - I just have a habit now to not click on such results.

my take - more writeup style for people new to z3

https://happyhacks.bearblog.dev/solving-a-layton-puzzle-with...