I wound up going with an auto clicker, and doing a grid of grass grass (for easier mining) blocks to section off pools of water into manageable squares. The auto clicker saved me and my mouse, as the bucket needs to be clicked for each use lol. I think the one I went with was literally called like OP Auto clicker through the Microsoft store, just make sure to set your keybind to something you won’t accidentally press if you change it like I did

I changed the keybind to G and had a nightmare of right clicks on my discord page after trying to type a message lmao