The Labs instance docs.editor-engagement.eqiad.wmflabs is running Ubuntu Precise so it needs to be replaced (or removed if it's no longer useful.)
The only things there were:
- e3doc redirecting to growthdoc (see next)
- growthdoc redirecting old GuidedTour doc URLs to https://doc.wikimedia.org/GuidedTour/master/js/ .
- ProveIt site.
The current maintainer of ProveIt wants to discontinue the site, and the former ProveIt professor/manager is fine with that. The other two aren't worth maintaining (main links already point to the right place).
So I've deleted it (the ProveIt stuff is in version-control if we ever wanted to bring it back).