On Friday, 6 May 2016 at 13:47:48 UTC, Adam D. Ruppe wrote:
Those JS things have a habit of lagging my laptop to a crawl, whereas a server side highlighter works beautifully without slowdown.
Ok, I think we're focusing on an unimportant implementation detail here. Let's get back on track and discuss the important things, like
* Officiating this * Getting content * Legality of reposting past D articles * Any branding problems etc.