correctly decode and encode HTML in title tags