More about TabSize tab-width extension's publisher:StipJey.
Check details of TabSize tab-width extension