I have had recent issues as well, as I've had to install two recent Extras-Devel apps using Terminal as they didn't appear in the list using App Manager: dropn900 and cloudgps.