Patches to push

[Urs Liska]

Hi devels,

would please someone push the attached patches to staging?

I've chained them on top of staging
(19fa6068cf3a7c5f02c13d5b57be895665da00bf) by cherry-picking them to
_one_ branch (not single branches for each patch)

and successfully ran make website.

Thanks
Urs

0001-Issue-3785-Web-Examples-Enclose-in-box.patch
Description: Text Data

0002-Issue-3785-Web-Productions-Add-title-box.patch
Description: Text Data

0003-Issue-3785-Web-Reviews-Add-title-box.patch
Description: Text Data

0004-Issue-3785-Web-Background-Reword-intr.-paragraph.patch
Description: Text Data

0005-Issue-3785-Web-Introduction-Reword-Our-Goal-box.patch
Description: Text Data