Update changelog, credits and texinfo manual [#523]