updated documentation (jsduck 4.8.0)