the bug is likely annoying for those who are using autohiding, but that's not the default configuration and that's not a data loss bug nor a crasher so not a high priority issue
the priority doesn't mean the bug is not annoying but there is thousand of desktop bugs open a very small team working on those so everything can't be worked in the same time
note also that there is not a lot of duplicates or comment on this bug which gives and indication that not so many users request for those
the bug is likely annoying for those who are using autohiding, but that's not the default configuration and that's not a data loss bug nor a crasher so not a high priority issue
the priority doesn't mean the bug is not annoying but there is thousand of desktop bugs open a very small team working on those so everything can't be worked in the same time
note also that there is not a lot of duplicates or comment on this bug which gives and indication that not so many users request for those