ah, good to know, I'll try to do that in the future.  not really worth blocking this PR though IMO.