There are still some open issues and pull requests left in the [original tendril GitHub repo](https://github.com/servo/tendril). Should those be moved to https://github.com/servo/html5ever now?