[Replicant] Website patches

[Denis 'GNUtoo' Carikli]

In addition to the patch that will follow in a response to
this mail, here's an URL to the see the patch in a web interface:
https://git.replicant.us//contrib/GNUtoo/website/commit/?id=6d15ad8257eda4cb6ef360b440dfc3339151e964

And here's how to get it in a git repository:
git clone https://git.replicant.us//GNUtoo/website
cd website
git show 6d15ad8257eda4cb6ef360b440dfc3339151e964

Denis.