Ensure only a supported version is chosen by server.
Release 0.4.2.
Start 0.4.3.