It would be a far simpler crypto design if it didn't insist on deniability as a feature.
OTR always operated in a weird niche, but it solved a specific problem for IM that everyone had. But simpler / more elegant protocols don't always win, and never because of the quality of the crypto. For example: https://en.wikipedia.org/wiki/Simple_public-key_infrastructu...