Then all those nav headers need to have a little button on the side to open a floating div with copy-pasteable content. Or, if needed - different versions of co

Then all those nav headers need to have a little button on the side to open a floating div with copy-pasteable content. Or, if needed - different versions of copy-pasteable content (as a command line for copy-pasting into the terminal, json, etc.) This is a standard UI convention used by all internal dev tools at my current company.