I’m thinking that it might be a better idea to enforce case sensitivity/insensitivity compatibility by not allowing the same net names with different cases. This would be compatible with verilog, spice and VHDL.
If xschem were to only allow one spelling (maybe auto convert case to existing spelling like some IDEs), then there wouldn’t be a problem with probing. Mass copy - paste may be hard to handle though.