On Wed, Mar 04, 2020 at 11:17:46AM -0500, John P. Linderman wrote: > I think that was a useful option, but the irony of Rob > adding an option to "tac" was hard to overlook. tac came back from Jersey waving flags? khm