What feature do you want to see added?

Currently, the tree brush does not support mangrove trees.

I would like this to support mangrove trees.

Are there any alternatives?

Not that I know of, I checked other issues I couldn't find any with the content "mangrove".

Anything else?

No response

This PR will add it because it is clearly missing in newer minecraft versions. Nice catch!

Awesome, thank you :)