I just saw a recent commit in the Git that changes `doc/docstringdb.json`
and it seems pretty clear that this file is generated, and the same
holds for `doc/build/texinfo/evil.texi`.
Could these be removed (and simply (re)generated when the NonGNU ELPA
tarball gets built)?
Stefan