Players on Java Edition will use mods that they can dig around for ... There are add-ons that come free with a Realms Plus subscription, with all other packs costing real-world money (via ...