A big update to the perennially popular GNOME Shell extension Dash to Panel is rolling out, including new settings to go from ...