I’m not sure why my topic was moved from Contribute > Bug to Support; I’m reporting a (very minor) faulty behavior, not asking for a solution (I’m aware that the solution is refreshing the page) 
Yeah. If I’m not mistaken, There was kind of a similar issue on the user preferences, where the page wasn’t fully refreshing when changing the theme. Then the logo didn’t change as it should have according to the theme change, and it was modified so clicking “Save” after modifying the preferences does a full reload (at least for a theme change). Am I wrong?
But even so, I acknowledge that my report is a very, very minor inconvenience and an edge case and I can see it not being fixed ever. Thought it was worth a report though since this kind of issue can potentially happen in other areas… 