Removed obsolete option for tagbar.