[PATCH 1/1] explorer: Use the EnableShell option to show or hide the taskbar.