Hey guys, I've been working on a plugin that needs to know not just about source filenames, but source line numbers. To make it work I need a patch in pants: https://github.com/pantsbuild/pants/pull/20531. Could you take a look, please? Are you ok to merge something like this?