Merge or not merge https://github.com/minetest/minetest/pull/2641 ?

Results