[04:21:24] * James_F shudders to himself at bd808's suggestion of calling something "hilightoid". :-) [05:09:47] I like pyglet better [05:25:19] We're looking at using ace-editor for both code editing and highlighting (in 'readonly' mode) for Wikifunctions. [05:25:55] No idea about performance; we're mostly interested in it as the same experience as CodeEditor uses, so that users have a familiar set of colours/bugs/etc. [05:27:43] does it have a server-side rendering option? [05:28:25] Well, we'll provide that through the forthcoming Vue SSR service. [05:28:42] (It's only in JS.) [05:29:18] hm [05:29:43] I'm not suggesting it's a good path forward right now for ameliorating the SyntaxHighlight speed issues. [05:29:49] Just a data point. [05:34:36] * legoktm nods [16:00:14] legoktm, James_F: +1 for pyglet. I could not resist the tired old -oid joke though. [16:39:08] mediawikoid