Hello. I am not sure what this part of the pool is called, but it is the edge/ledge of the pool. When swimming, jumping in, the water splashes up in this corner and erodes the finish. Grout also eroded. Any advice on what to do here? Last thing I want is someone getting cut on a sharp edge. I’m totally new to pool care, but I can patch this if I know what materials to get.