[patch] Remove links to platforms from the Developers section navigation box

[Remko Lodder]

Joel Dahl wrote:
> Hi guys,
> 
> I'd like to remove all links to all supported platforms from the
> navigation box on the left side under the Developers section.  We're
> already linking to the Platforms page from the front page at FreeBSD.org
> and a single link labeled "Platforms" in the navigation box should be
> enough. We should stop bloating the navigation box with this redundant
> stuff, and I'd like to make room for new links, since I'm rewriting some
> of the pages under the Developers section.
> 
> Patch attached.  Objections?
> 
> 
> 

Please proceed, do know that hiroki sato is also working on a little
redesign of several include files... (CC'ed) so you might want to
contact him prior to doing the change, apart from that *wave the
green flag* :)

Cheers!

-- 
Kind regards,

      Remko Lodder               ** remko at elvandar.org
      FreeBSD                    ** remko at FreeBSD.org

      /* Quis custodiet ipsos custodes */