Some more documentation, including about using libstdc++