Text this: Designing UIs for Static-Analysis Tools