Genshin/player_levels: A lightweight player numerical leveling system API for Minetest which modders can use it's functions to create certain features for their games.