Added HTML vs text protip and documented HTMLBodyElement#text bug.