[PATCH 0/1] MR6667: explorer: Support the NoDesktop registry setting.