Has anyone ported python-nostr to MicroPython? Including websocket-client...?!