Thread:Semantic-mediawiki.org:Community portal/Navigation menu: MediaWiki external link

In the navigation menu (MediaWiki:Sidebar) is a link to MediaWiki, included under Users, Administrators and Developers. It links directly to the MediaWiki start page mediawiki.org. Besides being repetitive (3 times) I don't think it's good practice to lead away from the website in the main navigation, since it's surprising, unexpected and lacking context. Maybe a short subpage about MediaWiki including the link and added under General would work better? The same applies to a link to OSDA under General.