Where is Netduino.IP?

Answering my own question: neither NetduinoExtensions nor Netduino.IP were required to get Maple working in the end; see also:

Hopefully this helps someone else in future… :weary::rocket: