Yes, GitHub has release downloads, so it should be easy to distribute an editor without paying attention if someone has the right to use editor code.
Yes, GitHub has release downloads, so it should be easy to distribute an editor without paying attention if someone has the right to use editor code.