Who invented the comma tools at w3.org

Yves,

By any chance, do you have the memory of who created the comma tools at W3C?
aka the ability to add to any URI of W3C Web site 

http://w3.org/,tools
and have the list of possible tools.

Thanks.

-- 
Karl Dubost 🐄
http://www.la-grange.net/karl/

Received on Thursday, 7 January 2016 23:15:04 UTC