I have 1 pebble I found protruding up in the liner, but it's in the deep end.
If I were in your situation, I would get the patch and the glue, but not do anything
about it unless it becomes a problem. Cutting and patching when it isn't leaking
seems like a bad idea imo.