THE GRINDING PAID OFF!!!
I'm super happy that I decided to get back to this game after a few weeks of resting. I didn't expect to get a record, but rather just trying to perhaps get my time down from 4.13 to 4.11, if lucky. It took quite some time until that happened though. I grinded for 2h 25min before it appeared. Knowing I was that close and just 0.01s from the record I kept pushing. I wouldn't get anything more in that session though, and took a break for a few hours. I came back later and started grinding and got 4.10 after only 49 min! During both these session I got a total of 4.11 (7x) and 4.13 (7x) among countless of 4.15, 4.16 and 4.18's.
I am now the 3rd person to ever get the time of 4.10, which is also tied by Guterham and ふぁじい. It was originally achieved by Guterham on the 14th of June, 2016.
There's no real reason to restrict emulator runs, especially when the leaderboard is already quite lacking in runners as it is. So I thought I might as well allow it from now on!