Re: [PATCH] [RFC v2] Drop all 00-INDEX files from Documentation/