Edit extensions directly within Aha! Develop

Challenge: At times I just want to tweak a tiny detail for an extension. The common steps to check out the repo for an extension takes a lot of steps.

Desired experience: I want to be able to edit the extension directly from Aha! Develop.