docs/latex-header.tex: Avoid logo overlapping page header text.
Merge remote-tracking branch 'remotes/origin/master'