I'm trying to get rid of some shrooms for the same reason as you. I've tried vinegar and they survived then I tried a mix of boiling water and vinegar but that didn't work either. I was thinking maybe some super concentrated salt water might work? I haven't tried kalk paste yet. They seem pretty indestructible so I think manual removal might be the only way
.