Add a section about deleting old files, directories and libraries with a
short description why this is necessary.
PR: docs/137762
Submitted by: Anton Shterenlikht (mexas at bristol dot ac dot uk)
With feedback from: gabor@, ed@ (BATCH_DELETE_OLD_FILES, a while ago)