Bug#814282: ports lists unofficial ports as official

On Wed, Feb 10, 2016 at 7:04 PM, Adam D. Barratt wrote:

> They're all currently supported as part of wheezy, until it loses security
> support later this year. I'm not sure what the criteria for being counted as
> official are in this case, however.

Probably the page needs to be automatically generated based on the
current state of the main and ports archives. The page could then be
split up into more categories to more accurately portray the level of
support each port can expect.