Javadoc improvements, including diagrams and wiki links for new operators