Wikitext 4.0.2 released

This release, version 4.0.2, fixes build problems present in version 4.0.1.

See the 4.0 release announcement for the usual details; I won’t repeat them here.