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).
Yeah, I added it to 2.5 dev right after the projects were combined in master, so the merge forward left this guy all alone and unused.