According to this video: penguinz0 should hold the record for any% with a time of 5.905. Why is it not on the list?