Question- I deleted and then added the extras (+dev, etc.) repos to try and fix a conflicting repo problem. I guess it still isn't fixed but now fappman refuses to recognize the new repos. Anything I can plug in the terminal to make it "see" them?