I am having trouble reading RINEX files. I looked at the test code and tried to copy it as an example. Is the argument to RinexLoader a file name/path or a regex? If the name does not follow RINEX naming convention, will OreKit know it is RINEX 3?