Reimplemented abbreviations for tab titles, which had somehow gotten lost in previous merges.
Merge branch 'database-persistence' into tab-abbreviation-redo