Merge pull request #617 from emmanuel-keller/master

Fixes #596
Merge pull request #619 from emmanuel-keller/master

Code highlighting
Merge pull request #620 from emmanuel-keller/master

Documentation: add border on images
Merge pull request #621 from emmanuel-keller/master

New documentation page
Merge pull request #622 from emmanuel-keller/master

Documentation: fix navigation menu
Merge pull request #623 from emmanuel-keller/master

Add Zendesk feedback button
Merge pull request #624 from emmanuel-keller/master

Documentation feedback (purple)
Merge pull request #629 from emmanuel-keller/master

Fixes #597. The path was wrongly converted by URI and URL normalization.
Update Working_with_facets.md

Totally awesome language/clarity improvements.
Fix typo on doc
Merge pull request #631 from AlexandreToyer/master

Fix typo on doc
Merge pull request #635 from emmanuel-keller/master

Fix #632