385ef2c298
Move "Extensions Repositories" panel from FilePaths to Extensions. Temporary change until a design is agreed on, to make it easier to test repos while developing without going back and forth between sections.