I think using `.push_str` for `x = x.append(...)` is more "conventional".