miscellaneous things related to Minetest