Mean surfaces in half-pipe space and infinitesimal Teichmüller theory | Synapse