Documentation fix: randomSwitchOrElse was not displayed as a code literal