PR and Performance

Discussions about personal records, performance, and how to improve running times.