Not sure when this broke exactly, but after running npm run js-docs, assets/js/docs.min.js has the (important) comments removed.

I think we should try and fix this for proper attribution.

/CC @bardiharborow @Johann-S