The 'mbed Device Server' documentation needs to be added to the mbed Documentation Site (https://docs.mbed.com)

The mbed Documentation Site (https://docs.mbed.com) has the documentation on many things including the documentation on ‘mbed Device Connector Web Interfaces’.

But it is missing the documentation on ‘mbed Device Server’.

Can ARM add the mbed Device Server documentation to the site?