I'd recommend adding tenths or hundredths of seconds to the IL leader board, since the individual levels are so short.

Good thought, rules have changed

Went ahead and updated all IL runs to include ms manually

Great.