Try to avoid confusing everyone, since "4.0.1" (really trunk) has
fresher data than 4.0.2 (proper 4.0).

Mostly important for the sphinx builds put online.