Minor update(s) to #Miter published to GitHub.<br />Anticipate more in the next few days.
https://github.com/vijemiller/miter/


18:41:53 73 020
2020-05-31 18:41:53