Definitely a bug, a very annoying one at that too.
Passing it as a feature is just unfortunate. If it is really a desired feature, name it, have a check-box in the preferences that can enable the said feature.
When I set the autohide feature, my intent is to "temporarily" raise the dock, use it and forget about it. If I am expected to manually hide the dock, auto-hide is broken.
Definitely a bug, a very annoying one at that too.
Passing it as a feature is just unfortunate. If it is really a desired feature, name it, have a check-box in the preferences that can enable the said feature.
When I set the autohide feature, my intent is to "temporarily" raise the dock, use it and forget about it. If I am expected to manually hide the dock, auto-hide is broken.