Rename sub-menu "Bugs" to "Repositories" in Dev menu