Those ports are already maintained by the whole team, so formally adapt the ports from avilla@. Approved by: avilla