The idea that a tool such as a cross-referencer can have unintended consequences for an application semantics and that it’s the application job to prevent it is troublesome and a good argument to do both term-expansion and tools differently.
1 Like