My next question would be how did Mito go?
What MMR did you get to?
How strong was the PMF?, 4 years seems like a long time to test this product, and I'm not sure if the overall market for this is too small. Is it the trap of dogfooding (building the thing you wish you had) without sizing the market?
Mito site says: Trusted by dozens of fortune 500 companies, how penetrated is that really? Is it one dev in each company on the free tier or entire departments/teams using this on the $150/month/user plan?
I built something similar (excel / python space ) but it was really just one feature as part of a larger platform, not something I would build a company around.