Besides updating the sidebar wrapper menu, this branch has a redundant fix for the build problems solved in the website-may branch, hopefully it merges without issue but might require rebasing -- sorry for this!
rebased onto 19970dcc6e96a1fc7dc526f496692c5692b54ab8
Pull-Request has been merged by polcak
Metadata Update from @polcak: - Pull-request tagged with: website
Besides updating the sidebar wrapper menu, this branch has a redundant fix for the build problems solved in the website-may branch, hopefully it merges without issue but might require rebasing -- sorry for this!