[Fix #713] Retrieve eldoc via a dedicated op