gustafn
committed
on 13 Nov
provide tailed labels in table of contents for instances of the edit-interaction workflow