A Boxen puppet module for the Karabiner application