in reply to Credit where it is due

Definitely a good idea, up to now I also add a comment manually.

neophyte