EDITOR_HOVER_PARTICIPANT_ID

const EDITOR_HOVER_PARTICIPANT_ID: "editor.hoverParticipant" = "editor.hoverParticipant"

Named rather than imported by everyone who answers it: a language server, a character warning or a diff pane has no reason to depend on each other, and restating the id is how they reach the same hover.