You're right, it's not the right one, sorry. The confusion comes from that my bug is also about openconnect, network-manager and kill/term signals.
(my bug is openconnect's script being killed at startup by network-manager for some unknown reason, resulting in unusable VPN).
