More work on documentation and a few minor updates to netcore.ml and util.ml.