Comment by zote

While you're here the little colored buttons, that expand to show more info are neat (note the first one in this article has template text at the moment) ; and when they expand and highlight the text with color they can clip other nearby text