minetest.
core.
Co-authored-by: grorp <gregor.parzefall@posteo.de>
Linking to line numbers is brittle, linking to sections/headings is better. If you still want to link to a line number, you can append ?plain=1 to GitHub's URL