Another F11 feature that is starting to land in rawhide: Richard has built gnome-power-manager 2.25.1, which uses DeviceKit-power instead of hal. This should be a largely invisible change, as far as the user experience is concerned. Right, Richard ?