Fix for bug 784865: document the `system` module