I think the real issue is the overkill of depending on javascript and an http server to read the documentation of libstdc++.