[Standards] Re: Post-quantum security of OMEMO