The developer page for Jenkins integration was not closely linked to
the user documentation.

Add more prominent crosslinks.
Revise subheadings with titles that violate the style guide.
Remove duplicated information, establishing the user doc as SSOT.
A few minor cleanups. Tried to keep it minimal.