agenda+ HTML Ruby Extensions tracker issues

We didn’t have time to discuss this last week. We have two needs-resolution tracker issues for HTML Ruby Extensions: https://github.com/w3c/i18n-activity/issues?q=is%3Aissue%20state%3Aopen%20label%3As%3Ahtml-ruby-extensions%20label%3Aneeds-resolution

And the corresponding WG issues have been closed. Are we satisfied?

~xfq