I don't think these examples are sufficient evidence that electrum is using Async on the back end.
One is a bug specific to Android. The other had a very small LN channel so it's not surprising that it got forced closed.
begin here :
https://bitcointalk.org/index.php?topic=5352784.0
then here:
https://bitcointalk.org/index.php?topic=5352784.0
And i you don't want to read all social, you can go here :
https://github.com/spesmilo/electrum/security/advisories/GHSA-9gpc-prj9-89x7
my exp was like this one :
I don't think these examples are sufficient evidence that electrum is using Async on the back end.
One is a bug specific to Android. The other had a very small LN channel so it's not surprising that it got forced closed.
Its not Async but acinq.
And its not evidence they do this each time u have a problem. This bug for force-close is a classic and reveal what service is use.
Electrum wallet doesn't use his own managment system and op for another. In this case is acinq channel management.
A lot of other wallet use acinq for their management channel.

How do you know they're using acinq for their channel management? Are you talking about trampoline routing?
yeah its trampoline. I will take time to verify more cuz, at my surprise a official documentation appear about lightning and SERVERS !
reply to u when i have more to say.
** someone are reading that we talk about an elephant in the room XD **
Addendum:
i like to use reliable stuff and electrum are one, minus his shady side on lightning.
Interested to hear more.
You are the first I've heard talking about this