assets
assets copied to clipboard
Minor changes of plain-text files
- The file extension can be useful at least on Windows.
- Short URLs are of course better than long ones. Moreover, the new ones do not depend on GitHub (you may switch to GitLab or an other software forge in the future).