Document and allow configuration of the new visual hints
This is a completion (or, at the least, continuation) of !750 (merged).
The four new visual hints are now documented in the manual, and their configuration is possible in the GUI (Edit Profile -> General -> Semamtic integration).
In addition, brighter gray/red background colors are used when the background is bright.