More developer page tweaks

Merged Matthias Clasen requested to merge more-developer-page-tweaks into jekyll

Merge request reports