"""ExtFile extension package."""