The terminals wiki (https://terminals-wiki.org) seems to have been down for several months. I hope the maintainer is OK. Does anyone know if this site is gone for good? Is there a mirror anywhere? The wayback machine has a few pages, but mostly serves to capture the look&feel. Dave