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