Adds "Open with VSCode" button
As of 2023-10-28. See the latest version.
These are versions of this script where the code was updated. Show all versions.
! updated to new html structure
update to work with new github structure
comments
