FindSequenceNumberFromConfig finds the file with the highest sequence number for an extension under configFolder named like <RunCommandName>.0.settings, <RunCommandName>.1.settings so on.

IsSmallerThan returns true if the sequence number stored at path is smaller than the provided num.

SaveSeqNum replaces the stored sequence number in file, or creates a new file at path if it does not exist.