Thank you so much for the advice, Knight and Pinkboy.
Tried the angle grinder over a small area, and yes it took off a lot of paint :) There is a lot of dust, but it is way better than fumes!
Much as I would love to go over everything with a hammer and chisel, unfortunately it is not a...