On Wed, 2018-08-29 at 14:28 +0200, Henrik Austad wrote: > The 00-INDEX files are supposed to give a summary of all files present > in a directory, but these files are horribly out of date and their > usefulness is brought into question. > > A few years back it was mentioned that these files were no longer > needed, and they have since then grown further out of date, so perhaps > it is time to just throw them out. Good idea. .rst is becoming more common and these 00-INDEX files are unnecessary and occasionally misleading.