public readonly property extension as String:
Returns the file extension in lower case, without the dot.