Extend no-whitespace button (from `faster-pr-diff-options`?) to " #3869