Clarify 4-pin foot pairing and debounce for bare pushbutton. Co-authored-by: Cursor <cursoragent@cursor.com>