// No automatic abbreviation extraction for tiny