Commit 505e3dbfa8a784815ce0830ef891abb90bcce3dd

Paul Eggert 2019-09-23T12:41:22

Update URLs and associated text (Thanks to Bruno Haible for proofreading the earlier patch.)