Module type Optcomp_intf.File_extensions
File extensions include exactly one dot, so they can be added with regular string append, and removed by Filename.strip_extension
Optcomp_intf.File_extensionsFile extensions include exactly one dot, so they can be added with regular string append, and removed by Filename.strip_extension