public isModifiedAt(index as Int) as Boolean:
Reports whether the tab displays its modified-document badge.
assert not tabs.isModifiedAt(0)