Gauge algebra and diffeomorphisms in string field theory | Synapse