https://thehabitofwoodworking.com/2023/what-kind-of-chisel-to-remove-mortar/