@spdegabrielle , I think your pull request might have dropped the change that I made in release-notes.rkt to call render-contributors-md instead of render-contributors. Maybe there was a reason for this? Let me know if something is broken.
Does this mean the documentation does not match the implementation?
If so, they should be aligned properly.
Or are these two names for entirely different things?
-- hendrik
Not intentionally😅
The name prop-list-expr here IIUC is used in documentation to describe the optional argument that's passed in, which is not exposed by the source itself, so it shouldn't matter whether the documentation matches the implementation here.
As a similar example, the documentation for cons lists arguments named a and d. Does the implementation actually name the arguments a and d? I have no idea, and I don't think it matters, or is exposed in any way.