[Termtools] Re: starexec/termcomp testing, post-processors?