Pin/unpin dock autohide

[teamcons]

Problem

Sometimes the dock needs to be hidden

Sometimes temporarily the dock needs to stay visible for a bit

It can be a bit annoying to hunt for the setting in the settings panel when the dock is right here

Proposal

This is purely me seeing a feature in another dock and going "I want it!!!!" but the dock from MainstreamOS has a "Pin" togglebutton. When toggled, it keeps the dock "always visible". When untoggled the dock uses the intelligent hiding setting.

On a squonched dock in the center everything is crowded, but if Appmenu in dock and Expand the dock together gets in the dock suddenly has a ton of empty space that makes more items "ok"

If the proposal is rejected, we might just implement it as a patch for our install. It feels very much out of scope

Prior Art (Optional)

No response