The killed parts of documentation/ are now downloaded from the
@overturetool/language repository.  The download is cached in the local
~/.m2/.cache directory (likely as master.zip; we're using the github
feature of downloading an entire repo@commit as a zipfile).  Not yet
sure how to clean/update that cached version.