When aa wrote that code 18 years ago, only me an' Gaad knew how it worked. Now, ... only Gaad knows.
Seriously: Well done guys. I totally approve of either of those 137-edo notations. I can see that might be preferred in single-shaft-only Sagittal (mixed Sagittal) because it stays within the Spartan set, and might be preferred in multi-shaft Sagittal (pure Sagittal) because it gives a matching sequence of flag-combinations for the double-shaft symbols. The same applies to 130-edo.