DrBob, 8 months ago

I didn’t in the end. It was mostly because I don’t want undocumented interactions. I have a hard enough time getting them to use office hours.