doc: rename extensions to extensions.txt.