Getting a version of Devin that works in a non-internet-connected environment, both for Prod and Dev servers (anonymous request).