DEV: adds documentation about caret option of widget dropdown (PR #9596)

GitHub