... I was in sad state, and wanted to read the web archives of this list on a Win32 desktop with IE 5. No libstdc++ URLs would resolve: was this just a temporary fluke on my end, or is this a more general problem with IE? In particular, the "++" parts seemed to be tripping it up. -benjamin