Update changelog and credits [#457] [#414]

[ci skip]
Rebuild texinfo manual

[ci skip]