I just started a follow-up thread for discussing the symbol graph structure and further implementation details: Symbol Graph Adaptions for Documenting Extensions to External Types in DocC.
I would be very grateful for any input there! Thanks again to everyone contributing to this discussion!