<https://github.com/js-org/js.org/issues/3775> Would definitely be nicer than sql-js.github.io/... I would be happy to help with this if needed.