dvandom

Every so often, the F1-F4 keys (brightness adjustment, windows spreader, dashboard) just stop working. The other defined F keys continue to work, and the broken ones will eventually start working again for no apparent reason. Hrm.