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 標題仍可正常運作。