[VDServer] Generate tooltip body for pure code hovering tooltips as well. Don't emit double linebreaks when separating the tooltip header from the body.