Apparently, lxsession still requires hal, and pcmanfm still requires hal-storage-addon. Any chance these dependencies on hal will be eliminated by the time F15 is rolled out?