Kyle Meyer writes: > That sounds reasonable to me, and the change looks fine to me. My only > thought is that perhaps the line number would be friendlier to report, > but I don't feel strongly about that. > > I'll wait a few days for any babel users to chime in and then apply > (unless you reply that you'd like to reroll it to use line numbers).
A couple of votes came in favor of using line numbers here, and the idea of using the source block name was also brought up. (Thanks, Timothy and Eric, for the input.) Jarmo, what do you think?
