Thank @harshit-30, this is a clean version of the previous red button at the top right…
However, it does not really bring a favorites function… Refering to topics like Multiple Issues with V12 Desktop! I think we are again making things worse by making something simple more complicated…