Remove obsolete 'default-tab-width