Text this: Relating coalgebraic notions of bisimulation