improve documentation presentation (remove leading %%); part of 1220
small fix for hover