WikiDevi going down soon

Talk about Documentation
4

Files at https://archive.org/download/wikidevi do not seem to be very recent, perhaps the maintainer could make a new dump from the database.