20150802 tech.more-gadgets: Gadgets to deal with office distractions