I'm closing this ticket in favor of <https://bugs.gnu.org/26707>, which
provides the "real" 2.0.2 release.