add link to core_demangle.html