On May 11, 2020, at 1:12 PM, Joachim Breitner <mail@joachim-breitner.de> wrote:

how about we let the proposal author
decide on this small point? This way we don't have to come to
agreement, and the authors get back some sense of ownership of this
proposal, after all the back-and-forth with the comittee?