(when hover doc works, goto definition works too)