Add ports to the Shortcuts link on the front page. Our ports web
pages could really use some work as they don't do justice to the ports
collection, but I've been convinced this link is better than none.

Requested by: dozens