I guess OMEMO was their priority at the time, and PGP was quite easy to handle.