tripu

@iherman, see change no. 1 here: [spec-prod mailing list: *“upcoming changes for W3C reports and our /TR pages”*](https://lists.w3.org/Archives/Public/spec-prod/2017JulSep/0005.html) Not exactly your proposal, since that refers more to latest versions of...

This might work well on wide screens (when there's enough width for: title, type, tags, status — at least). On smaller screens, we'd have to either truncate information heavily (bad idea) or...

At the same time, remove the notice at the top, which is old by now.

-1, because: * Sidebars tend to be too narrow to fit several filters in a usable manner * Sidebars are supposed to be used for “side” content, notes, useful links,...

@chaals: > *“I would prefer them […] working somewhat like github labels.”* They work more or less like GH labels, don't they? > *“But with a proper description of what...

@wseltzer, is that a little jump just once, once you scroll past the filters? Or something worse? There should be just that small jitter, and only once as you scroll...

:open_mouth: I think that [sticky overlays](https://www.w3.org/TR/css-position-3/#sticky-pos) are of great help sometimes, and can make navigation or filtering much faster. (Like so many other features, used sensibly :) I want to...

I'm neutral about this proposal. (It requires a small change to the HTML, and then updating the back-end.)

So, what's the resolution? 😊

Yet another tag? I wonder if it's justified — especially if, as @iherman says, most specs having one of the labels will have the other one too. Past a certain number of...