note explicitly that StringBuilder is copyable