> If he can't be bothered to maintain it, then he should delete it.

Not necessarily, plenty of projects have been put in an archive state because they are 'finished', superseded, forked, etc. This isn't code nor a living document, it was a one-off operation.