web commit by JoshTriplett: Mention server for OFTC.