Note from 25 February 2021

I can't believe this depressed Web server is still there 20 year later!

https://www.scintilla.utwente.nl/nosuchfile