2012/10/23 Darrell Anderson <humanreadable(a)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»?