[karel-3d]

I just put the title to Google and pattern-matched 1998. I am sorry, as I was probably wrong, it seems it's earlier.

edit: earliest web archive crawl is from 1996

https://web.archive.org/web/19961220120042/https://www.eff.o...

so you are probably right with 1994