rm comment about compilation time

compilation speed is not something we're trying to optimise at
the moment, so better to not mention it.