So far that's the only place I've found such to be documented or discussed.

My advice is to have Samsung or a carrier "re-flash" your phone.