merge two diverged contribution docs

Fixes an issue that happened when I merged a 2.5 docs change forward to master (which had moved those files).
Oh, apparently, we already had it. Well, I still think it's nice ☺