Semi-related: years ago I made a silly little running pace converter site: https://pace.ninja/

I’m not a huge runner but still find myself using it all the time, both for my own occasional running goals and to satisfy my curiosity for questions like “how quickly would an elite sprinter’s pace finish a marathon?”