A tiny mod that lets you take your pet down into the mines as a Tamagotchi in your HUD. Don't worry, you don't need to feed it. Source code: https://github.com/Qubus0/DomeKeeperPetmagotchi/