Thank you for sharing, and just to make it more complete, themes go here:
Consider placing them in this folder:

The quickest way there is to hit Win+R and open %appdata%:

This populates the Editor Preferences drop-down and makes them editable.
Some themes:
Lighter.json (4.7 KB)
OneDark.json (4.7 KB)
OneGray.json (4.7 KB)
OneGrayDarker.json (4.7 KB)
Still looking for better ones. Bring them on.
Malwarebytes throws a false positive when trying to access them ![]()
GD link:
https://drive.google.com/drive/folders/1PCld-Z9TP5Kji0bZvlub482HYb7kn2Y8?usp=drive_link
