Updated documentation to mention wmonk