We currently only show documentation that’s visible to the compiler and are ignoring information from docc documentation extension files. It would be great if we could include that information as well and get docc into the loop for any kind of doc-comment rendering.