Altered file extensions for documentation files