I heard about other news from TOS team in New York, other than news about their listing, the name TOS has changed into T.OS. It is pronounced as tios, not tos. But I don’t see any notice about the change on the website.