Commit f87976e305db24e141a89ac70f63e914feaefe86

Bruno Haible 2018-03-27T17:07:20

Doc tweaks.