Add explanatory comment [#522] [#523]
Update changelog, credits and texinfo manual [#523]