With LibreJS, the "New issue" button does not do anything. And I believe one
must have a GitHub account to file an issue. Signing up requires executing
proprietary JavaScript too.
If somebody here already has a GitHub account and does not care about
executing the proprietary JavaScript to file an issue, please do so. I
listed above all source code files in the "electron" directory that do not
have a copyright notice. Since almost all other files have such a notice, I
believe the developers actually want to make it clear all source code files
(not only in the "electron" directory) are "under the terms of the GNU
General Public License as published by the Free Software Foundation, either
version 3 of the License, or (at your option) any later version" (as written
in the other files) and will be happy to fix the issue.
https://www.gnu.org/prep/maintain/html_node/Copyright-Notices.html recommends
(for GNU developers, but that is good advice to any developer) such a notice
for "any file more than ten lines long". That same page says that "even
image files and sound files should contain copyright notices and license
notices" (in a README file in the same directory).
