v0.12.13

Pluto v0.12.13

Diff since v0.12.12

Closed issues:

• Document UI basics with GIFs (#428)
• SVector of Vector throws error (#458)
• Plots won't load (#703)
• TimeSeries.jl demos don't work in Pluto (they work in Jupyter) (#706)
• Support AxisKeys and friends (#708)
• Compat conflict between Atom.jl 0.12.26 and Pluto.jl 0.12.11 (#711)
• File picker completion is weird (#719)

Merged pull requests:

• update to FuzzyCompletions@0.3.0 (#699) (@aviatesk)
• 🐰 Wrap code in functions to make it faster (#720) (@fonsp)
• Prevent leaking the secret to cross origins (#722) (@gregod)
• 🦢 Fix #458 (#725) (@fonsp)
• 🦑 Fix #708 & fix #706 (#726) (@fonsp)