Today's Edge Dev build adds a quick way to hide the Extensio