Merge #2019 exclusion explanation request

[aquariouseworkman]

Clarification on the exclusion of #2019 from the latest leaderboard clarification

[aquariouseworkman]

.005 rule should not apply due to the current leaderboard:

#1: 1.0611 | codemath3000
#2: 1.0614 | aquariouseworkman

[codemath3000]

Just wanted to note that this is not specific to my 1.0611 PR (#1855) and is instead true throughout the entire leaderboard. I ran the numbers and <15% of merged record PRs would meet the 0.005 nats threshold relative to the record PR immediately before.