Erik Demaine

I've implemented lots of search functionality (see root post) and added a UI. Should already be very useful, but there may be some quirks (e.g. no stemming unless you explicitly...

Tried it out. Spotted an excess sharejs-ace editor which we no longer need (since the move to Codemirror), but not much else. Bundle is now 3.6MB.

We can get a lot more benefit via [dynamic imports](https://blog.meteor.com/dynamic-imports-in-meteor-1-5-c6130419c3cd). I've done this so far with infrequently used `jszip` and `chart.js` (reducing to 3.43MB), but if we do it for...

Highlight.js paring should be possible by rendering markdown, reactively using libraries available and requesting those missing for reactive rerender. The ES6 Modules section of [this page](https://highlightjs.org/usage/) shows how to dynamically...

With highlight.js, sharejs, codemirror, and jquery fixes in, now down to 2.82MB! (Previously around 4.5MB.)

Down to 2.66MB via DOMPurify, dayjs, and moving notifications server code out of lib. (There was also some growth since last measurement, from solid/solid-bootstrap.)

Good question. Partly, this was an exercise to see how hard it would be, as Coauthor seemed "close" to what's needed. (Only the four marked with stars seemed mission-critical. Rest...

I've looked around for a good HTML diffing package that can make a visual indication of the changes. Unfortunately, none seem to have tested out to be useful. I think...

In our testing, Chrome and Safari will refresh when the image has a `Cache-Control: no-store` header; see [this Chromium report](https://bugs.chromium.org/p/chromium/issues/detail?id=530266#c3). Unfortunately, this is *not* true for Firefox, so not really...

A possible alternative would be to do an XHR, maybe with `Cache-Control: no-cache`; or if server says `Cache-Control: must-revalidate` or maybe `Cache-Control: stale-while-revalidate` (see [MDN](https://developer.mozilla.org/en-US/docs/Web/HTTP/Headers/Cache-Control) and [guide](https://sookocheff.com/post/api/effective-caching/)), maybe everything will...