<div dir="ltr"><div><div><div>Plugins are allowed this luxury.<br><br></div>It's helpful for all sorts of things, linking to documentation, emphasizing important notes, bulleting items etc etc.<br><br></div>The plugin repo gets all the cool kid toys, like being able to sticky topics in their corresponding forums.<br>
<br></div>I'm all for the theme repo getting more plugins repo features in general.<br></div>