Add missing files and dirs to 00-INDEX in Documentation/