Code review: restyle filter editor file count and make UI element widths
cleaner. Fix some stale docs and other nits.