Mangrove leaves do not have a hoe as their preferred tool

Unlike all other leaves, Mangrove Leaves are not mined faster using a hoe. This is because they are missing from the #minecraft:minable/hoe block tag.