Function check_extension 

pub fn check_extension(text: &str) -> Result<String, ExtensionError>

Checks an extension as Eagle’s dialog does (letters and digits, at most MAX_EXTENSION) and returns it in lower case, as stored.