One example of fine-grained provenance is a feature found in some existing LaTeX editors: when a user is viewing a source file and a compiled PDF side by side, the interface can automaticaly scroll the PDF to show the location corresponding to the current location in the source file (and vice versa). Beyond “click to scroll”, what other interactions might use fine-grained provenance to help authors work across source and build files? We also explored mirrored comments, in which comments left on the formatted PDF are propagated to the corresponding location in the source file: