Is build.geoserver.org/geoserver currently down? I can't seem to connect to it. Does anyone know of other sources of the community plugins for Geoserver?

@Trashmonk When I click your link I get "This page can’t be displayed".