# name_monoid a player monoid for controlling the player's nametag. this is an API, no game behavior is changed by installing this w/out installing things that make use of it. possible uses include listing a player's "clan" next to their name, or showing a timer w/ how long they've been AFK over their name. ##### credits * (c) fluxionary 2022,2023 LGPL * credit to insanity54 for better settings descriptions.