Rename tab-size to tab-width #7643
Description
Rename the tab-size option to tab-width.
The old tab-size option should act as an alias. Ruff should warn and hint users towards migrating to the new option.
{{ message }}