@bondolo I want to avoid Unicode symbols for this because they tend to be super verbose on TTS ("THIN RIGHT ARROW" would be terrible). The option of doing "path/to/file.rs:10, column 29" is appealing to me because that keeps both readable information *and* the terminal hyperlink behavior to open the file at the right line.