Aside: Arachnophilia was the first editor I used for web page development in the late 90s as it was installed on every PC in my university's computer rooms. It's amazing to rediscover it now!