Revert "Comments: mention void package in documentation of own Void type."

This reverts commit 056a0711660361a506a2d41f1dc0795daef80177.