pub type LuaHover = (u64, u64, u64, u64, String);
A hover of a Lua script: its start line and column, end line and column (all 0-based), and its docs as rich text.