We recently replaced our coping and pavers on a pool with a new black liner. The mason wasn’t very careful with the mortar and I’m left with staining on the liner where they reset the bluestone coping. What will be the best way to clean this? I’ve seen a vinegar mixture recommended, but the tried and true method for removing it from bricks is muriatic or hydrochloride acid. Is this an option on a pool liner?