Find <del>definitions</del> <ins>definition</ins> of <del>an</del> identifier <del>(@code{xref-find-definitions}).</del> <ins>at mouse click.</ins>