I did not intend to submit this, but since I don't know when I will be able to do more runs, it will have to do. The awful Mines segment proves that the run is largely improvable but apart from that, it doesn't contain any major mistake. Timed at 9:22 RTA, so probably 9:21 using SDA timing rules.