I find this syntax for synctex very counterintuitive, and I wonder if this is intentional and will it last? Presumably it should be supported but not required. Writing Jerome now, will cc you. Synctex is his baby. karl