“The most common way users interact with Devin is through Slack and other automations.”