| Cool, thanks! I don't think a separate issue would be needed, better to do doc work as part of the main issue. It's not uncommon that we file several PRs for one issue. Think of it from a user's PoV looking at the change log to learn what's new in a release: They are interested in a feature as one thing, not in a feature and its doc separately. |