Comments: mention void package in documentation of own Void type.  (2nd)