the 'Available Ports' page could be more informative

[ray@…]

At the top of the page it says: "Index last updated:" and then nothing. So, when was the index last updated?

Also, I believe it would be useful to show information about the freshness of a port.

You could:

a) just show the date of the last update. b) show the update history, when each version of the port was updated.

Either would help. When I am looking at using a port, it makes a difference if one was updated a month ago and one was updated a year ago.