How can I add race to Personal records?

I ran a race today. It's not a PR, but it's the 3rd fastest. I see slower runs in the Personal records, but this wasn't inserted. Is there a way to add it?

0 trux 2 days ago

The PR page does not list your 10 best performances. It only lists the last 10 personal records. And since your race never was a record, it is not listed. It works exactly in the same way as the official historical World records - they also do not list the 2nd or 3rd best performances.

AFAIK, the only way to get the performance into the table, would be deleting the first two (or three?) PRs, then assigning the race as PR, and then adding back the original records. You can also try assigning the race as a PR without deleting the better performances, but I guess it would not work (though I did not test it, so may be worth of trying anyway). However, the problem is that records are listed by date, regardless of the time achieved (which is logical and correct), so the line up would be wrong anyway, unless you removed or edited the newer PRs.