JumpTo widget - add synonym markup, with option to include definitions.