Lazy from me to not check if I remember well or not, but the dev that got productivity gains was a regular user of cursor.