jump to definitions now works also for notations that do not have quotes (abbreviations)
Merge github/master