Documented file extensions.