Isn't mautrix/signal supposed to work on the cloud? Or is there some work that has been done to make it work on the phone?