Done: https://gitlab.freedesktop.org/NetworkManager/NetworkManager/-/issues/1072 (I might not have the time to follow through with this, though)
Done: https:/ /gitlab. freedesktop. org/NetworkMana ger/NetworkMana ger/-/issues/ 1072 (I might not have the time to follow through with this, though)