re: #134 Barefoot Grin
As they were at this time in June 2016. Ok, I’m paranoid.
Of course. But DT was an unknown factor then: not now.