I am sorry I missed this ticket. I usually merge content as soon as I notice a ticket. If I miss something, meaning I do not merge it in a few days, a quick direct email or ping is enough for me to act on it. This is now merged.
I would appreciate a comment or at least a state change on the ticket when a PR is acted upon.
I closed the ticket now.