Who invented the comma tools at w3.org

[Karl Dubost]

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/