Text this: Trivial extensions of Abelian categories :