In the docs themselves, since we are not supposed to change features in patch releases, maybe we could make the visible numbering by just MAJ.MIN and skip the patch number. Then we could publish the stable branch docs without also publishing a version number like 1.5.9SVN on them. p.