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).