Update changelog and texinfo manual [#524]