In reply to a tweet by SimonSapin:

@SimonSapin unfortunately, since they’re not WG members, the IP status of their contributions is unknown. :(