Hi Paul,

I've checked other distributions for the version they used and you are
right 4.0.0a4 was not in used anywhere.

Pushed as c2f5d0f7d8..96895a65b4 to master.

--
Oleg