Documented (briefly) how string concat works