Benjamin Pierce wrote: >> At the moment, the "View contributed ports" button is broken - it links >> to >> the dev-snapshot instead! > > Reload the web page -- the name of the button has changed! Ah! Could you remove my list item from contrib.html now, please, since it is now out of date. Max.