Replying to @jyasskin and @hober, @marcosc
I don’t know, all that newfangled stuff was added after my time — you’ll have to ask Marcos! That said, doing a localXref should be trivial if there’s a need for that.
♥ 2
Tweet · 23 Sept 2020, 21:08 UTC