This change of style already reached consensus once (that's why the releases and the official CDs are both labeled this way). The documentation is out of date, and should cite examples like 1.2r3 Cheers, Phil.