2012/10/23 Darrell Anderson <humanreadable@yahoo.com>

That is correct. Renaming efforts began after 3.5.13. As 3.5.13.1 is a bug fix patch set to 3.5.13, none of the renaming was back ported. :)

Ok... bye the way, do you plan any version Ťrebrandingť?