Thanks. I'd forgotten about that.

Also, bizarrely enough, fine brass wool. I used that to fill a large gap in the rim of a pottery coffee mug. That repair has lasted over five years. Including microwaving multiple times daily to warm coffee.