0.7M USD annual revenue for Jetbrains? That can't be right. Their annual revenue is 400M+ USD from my quick search.