Agree. And that is why I was vague when said “we have other ways”. Awk was one the options I had in mind. And the other was ofc GMT.jl. Not for this in particular, but for everything GMT related.
Agree. And that is why I was vague when said “we have other ways”. Awk was one the options I had in mind. And the other was ofc GMT.jl. Not for this in particular, but for everything GMT related.