This reverts commit edb16056.
This became obsolete when we got rid of transitions (89fe5f60).
Request review @chub.