Pull 7

Benedikt, look at https://github.com/DanGrayson/Foundations/blob/pull-7/Packages/RezkCompletion/README.md -- perhaps it's closer to what you want.

This pull request is just a suggestion.