We should have that discord link added to side on src whenever petriform or Auaora can, just in case people happen to check the leaderboard but don't look at the forum.
That's actually really interesting, there is one route that has the same number of choices, and a couple that are pretty close, so it could be worth checking out.
I don't believe there's anything in particular, the game is fairly small. We do have a lot of resources though, between petriform's notes (I have my own that I can post as well), and the forum. The current route is pretty optimal, just a lot of execution and then rng. If you have specific questions though, feel free to ask either here or in DM's.
I'm actually going to map out more today (including some bat paths) and I'll update later. I've already found a faster path than the optimal one from the first image.
Edit: Most recent map based on some more testing
Once you get deep enough, it seems like it almost doesn't matter what choice is made. Because of how short the current optimal path is, I tried to focus on the early decisions and I don't think it can get much better if at all.
One of my viewers compared the two runs I did today and noticed the minecart minigame path was identical (until a point where I made a different choice and ended up being 30 seconds faster). I looked at all of my runs so far, as well as petriform's WR and Winter_Doggo's most recent run and have what is ... mostly a map of the mine, and yes, some paths lead to less decisions than others. Hadn't seen anyone mention this anywhere so here it is: https://imgur.com/7QOq1BL