in 2003, when Red Hat Linux was discontinued so the team can focus on their paid version for servers Red Hat Enterprise Linux. Red Hat Enterprise Linux was to be Red Hat's only officially supported Linux distribution, while Fedora was to be a community distribution. Red Hat Enterprise Linux branches its releases from versions of Fedora. Before Fedora 7, Fedora was called Fedora Core after the name of one of the two main software repositories - Core and Extras. Fedora Core contained all the base packages that were required by the operating system, as well as other packages that were distributed along with the installation CD/DVDs, and was maintained only by Red Hat developers. Fedora Extras, the secondary repository that had been included since Fedora Core 3, was community-maintained and not distributed along with the installation CD/DVDs. Upon the release of Fedora 7, the distinction between Fedora Core and Fedora Extras was eliminated. Since the release of Fedora 21, as an effort to modularize the Fedora distribution and make development more agile, three different versions are available: Workstation, focused on the personal computer, Server and Atomic for servers, Atomic being the version meant for cloud computing. Fedora is a trademark of Red Hat, Inc. Red Hat's application for trademark status for the name "Fedora" was disputed by Cornell University and the University of Virginia Library, creators of the unrelated Fedora Commons digital repository management software. The issue was resolved and the parties settled on a co-existence agreement that stated that the Cornell-UVA project could use the name when clearly associated with open source software for digital object repository systems and that Red Hat could use the name when it was clearly associated with open source computer operating systems. In April 2020, project leader Matthew Miller announced that Fedora Workstation would be shipping on select new ThinkPad laptops, thanks to a new partnership with Lenovo. Development and community Development of the operating system and supporting programs is headed by the Fedora Project, which is composed of a community of developers and volunteers, and also Red Hat employees. The Council is the top-level community leadership and governance body. Other bodies include the Fedora Engineering Steering Committee, responsible for the technical decisions behind the development of Fedora, and Fedora Mindshare Committee which coordinates outreach and non-technical activities, including representation of Fedora Worldwide e.g.: Ambassadors Program, CommOps team and Marketing, Design and Websites Team.