They recently got bought by Cursor.