% Jenkins replaces this placeholder before compiling release documentation.
\chapter{Release Notes}
\label{release-notes}
Release notes are generated during the Jenkins \command{Build LaTeX} stage on
\command{release/**} branches. Build a release to include its changes here.