Small improvements to the developer page. Closes #6485.