MKtlDevice: documentation
MKtlDevice: rename verbose to trace, and other cleanups while writing the documentation.