I recently moved to a new home and am excited to take advantage of the pool! I recently noticed that the are above the skimmer entrance has rusted rebar. Given that this is not a structural issue (correct me if I am wrong) I was considering using something to try to remove some rust and then patching with mortar or otherwise. I wanted to get advice from other pool experts prior to undertaking any work - any suggestions or insights are appreciated! Pictures attached, and thank you for your consideration for reply.