Denis Ah-Kang

@tobie @frivoal we'll see if we can have someone update specref to switch to the W3C API instead of tr.rdf. Rest assure we won't retire tr.rdf without that switch. If...

The new stylesheet/js have been merged so it is now possible to enable the dark mode on the specifications by following https://www.w3.org/StyleSheets/TR/2016/README.html#dark

We are about to release a new version of specberus that will provide a [REST API](https://github.com/w3c/specberus#5-rest-api). As I'm writing this, it's not deployed yet but this is only a matter...

@marcoscaceres in case it helps, see [how we do it in Echidna](https://github.com/w3c/echidna/blob/master/lib/specberus-wrapper.js#L16)

The problem is we don't have control over githubusercontent.com and we cannot ensure the images will always be there. It might not be such an issue for WDs but I...

We are already giving [the possibility to filter out the retired specifications](https://api.w3.org/doc#operations-Series-get_specification_series) so we can add an extra parameter to do the same for series with superseded specifications. I've submitted...

Done! I'll see how to automatically deploy the changes once merged on the `gh-pages` branch

@marcoscaceres, do you have a link I can use to reproduce the issue? https://www.w3.org/TR/2019/WD-push-api-20190711/ and https://www.w3.org/TR/2019/WD-push-api-20190714/ look fine to me.

Now that the latest version link can point to a different document than the dated link mentioned in the document, marking the "current link" can, indeed, be useful. Highlighting the...

Indeed, the TR redesign 2016 introduced the ToC requirement. Since we have a use case where a ToC is completely useless, we could change that requirement into a suggestion instead....