[libre-riscv-dev] Way too much content in the header bar - unusable!

[Immanuel, Yehowshua U]

> so yes, they can be removed.... except it then becomes impossible to
> navigate down the tree of pages.

Arg arg arg…

Webdev - don’t you just love it…

Yehowshua