I need your help, to find a project for conversion of docbook xml texts into nice formated html pages. Some weeks ago, I've found a shiny solution, programed by people working for red hat. As far as I can remember. I've lost any traces to this project and all searching in the world wide web brought no results. So I ask now the collective memory to bring this back to the surface.
Thank you very much.