Red Telephone (Washington–Moscow Direct Communications Link) Software

Wikipedia says "Commercial software is used for both chat and email".

Does anyone know what the actual software is? I read that and now I am curious. Is it Sendmail, Microsoft Exchange, something else?

https://en.wikipedia.org/wiki/Moscow%E2%80%93Washington_hotline#Email