Will OCRA be available in a future u2f demo server version? Xmpp Texting OTR might benefit from OCRA in addition to Socialist Millionaire Protocol for key verification.