Optionally render diagrams as sketches

Tools like excalidraw produce diagrams that have a "sketched" look, which has some unique values for informal communication. The research literature from many fields recognize these values too (e.g. roles that sketches and schemas play in the architectural design process, this review paper on computational sketches etc).

While Penrose is designed to produce polished diagrams, we can support an alternative, sketch-y look thanks to existing techniques. For example, @jeremyong shared this paper on computationally generating sketchy geometries.

In the past, @maxkrieger experimented with rough.js. I recently revisited svg2roughjs, a nicer package that transforms SVGs to sketches. Here are some examples:

The results look great, except for the TeX labels, which might need some special care. Notably, they are in a much smaller coordinate system, so there might be some numerical problems.

Next steps

• Include svg2roughjs as a dependency in editor.
• Add an optional rendering mode to the diagram panel for "Sketch-like SVGs."
• Figure out how to make TeX expression sketch-like