Pluto.jl reached version 0.15 recently. Would pluto-based versions of these notebooks be a worthwhile addition?