Doc: multiple additions, including JMX for #7