What does this PR do?
there are 2 nearly identical blocks of code that generate the menu for logged-in users and for not-logged-in… I had missed the logged-in one
thanks to @Latte_macchiato for noticing
Contribution Guidelines By submitting this merge request, you agree to follow our Contribution Guidelines