Irritating Markdown syntax for headings conflicts with traditional comment frames in Lua

How are you using the lua-language-server?

Visual Studio Code Extension (sumneko.lua)

Which OS are you using?

Linux

What is the issue affecting?

Annotations

Expected Behaviour

"Hello World!" in the following annotation is NOT treated as a heading:

--------------------------------------------------------------------------------
--- Hello World!
--------------------------------------------------------------------------------
local function Main() end

Actual Behaviour

"Hello World!" shows as a heading in the documentation pop-up window like so.

Reproduction steps

Type the following code and hover your mouse over the function name.

--------------------------------------------------------------------------------
--- Hello World!
--------------------------------------------------------------------------------
local function Main() end

Additional Notes

As someone who likes to frame documentation comments, I find this issue unbearable. The reason we should except Markdown's dash ---- syntax for headings in LuaCATS is because Lua uses dashes to delimit the comments themselves. And those who frame comments also use the same character (dash) for the rest of the frame. You wouldn't use another character for the frame, it would look ugly and not uniform. For example, in C, Markdown's heading syntax does not conflict with the comment delimiter (//). So you can frame your comments by repeating the comment delimiter itself for a uniform frame.

Log File

Log files have no use in this issue.

在 Visual Studio Code 扩展中，将鼠标悬停在报告中显示的带框 Lua 注解中的函数上，以复现该问题。首先定位用于注解文档的 LuaCATS Markdown 标题处理，然后验证带框的“Hello World!”文本不再呈现为标题，而普通 Markdown 标题仍然有效。