Free Open Source CDN for lin-mizar
Looking for a nice landing page for your package? https://www.jsdelivr.com/package/npm/lin-mizar