Bumping the version up to 2.0.3.

No user-visible changes since 2.0.2.  2.0.3 should look, feel, and run
exactly like 2.0.2.
(OK, nerds, there is one technical exception: some of the setup logic
has shuffled between pre-initialization and post-initialization; nothing
happens during initialization anymore).