Hey, @creativecat! Unfortunately I’ve been dealing with several unexpected situations in the 3 months since I shared this pitch, but rest assured that the proposal and the accompanying PRs are not abandoned and will not be abandoned. I will get back to implementing the feedback I received in the PRs as soon as I can, which will be this month.
Apologies to the PR reviewers for the delay in my responses, and to the members of the DocC community who are also interested in seeing this merged.