[ge96]

If SO indeed does go down as people seem to suggest. At least those copy/mirror sites will be useful now (sad smile).

I'm still pro SO over chatGPT