Pushed as 74517806f80dab17474a3c5f0b91d437e4d4e052. I picked up some of your rewording and have changed the wording slightly to mention Automake, to make it more likely to be picked up by search engines when given the error.
Thank you for being insistent. Regards, Florian
