generalize to any URL, not just nsdi15
UI for setting buzzer key