What exactly pressing <F13> sends?

I have <Eject> key mapped to <F13> with Karabiner-Elements. And if tested in Terminal.app or Alacritty.app, it correctly reports ^[[25~

However, in MacVim, if I :terminal cat, and then press <F11>, <F12> and then <F13>, I see ^[[23~, ^[[24~, and then just some sort of space (the cursor moves one position to the right, while reporting nothing):

It does work OK, though, I can create mappings with <F13>. But if I use some TUI application in :terminal, then it clearly doesn't understand it.

:set t_F3 or :set <F13> both report E846: Key code not set. Trying to actually set those to ^[[25~ makes no effect (:terminal cat still reports that mysterious space). Reproducible on the latest release.

Any hints may be? :)

Well, tnoremap <F13> ^[[25~ seems to solve the problem :). But still, what exactly does it send by default?

Tái hiện vấn đề trong MacVim với :terminal cat, so sánh F11, F12 và F13 với Terminal.app hoặc Alacritty.app. Điều tra cách MacVim xử lý F13 trong terminal nhúng và xác minh xem tnoremap ^[[25~ có thay đổi kết quả hay không; hoàn thành khi xác định được chuỗi mặc định hoặc sửa được sự khác biệt.