I like the idea of pulling these to the top, but it feels a little weird to have the big main header below this. I wonder if we should have a top-level "tl;dr" header above these first two :)