Skip to content

Add language list to sidebar

Samwilson requested to merge lang-list into main

Also reorganise the sidebar a bit, to make the version and language lists into dropdowns, and add the tool description above the table of contents (which now has a heading).

Merge request reports