On Tue, May 1, 2018 at 9:58 PM, Ben Gamari <ben at smart-cactus.org> wrote: > Yes, I suppose the language in the release notes does rather understate > the degree of the incorrectness. > > I'll push a new version of the manual with some stronger language > tomorrow. Good deal, thanks for the quick response.