> Am 17.06.2020 um 21:50 schrieb Mike Cooper <mike at murchisondrillingschools.com>: > > For one thing, I have no clue what "ttbf" means. Can't find it on the wiki or in the manuals. Google says it's the Texas Teen Book Festival but I'm guessing that ain't it. ??? Did you try it? (Hint: There’s \tt and \bf ...) HR