..all the libstdc++ docs should be using the GFDL, I suspect. Any thought on trying to add it? -benjamin