cli_function: clarify copyright

cli_function.py

@@ -1,5 +1,13 @@
 #!/usr/bin/env python3
 
+'''
+This file is GPLv3 like the rest of this repo.
+However, you may use it in a project with any license through imports,
+without affecting the license of the rest of your project, even if you include
+this file in the project source tree, as long as you publish any modifications
+made to this file.
+'''
+
 import argparse
 import bisect
 import collections

release-download-latest

@@ -17,6 +17,8 @@ https://stackoverflow.com/questions/24987542/is-there-a-link-to-github-for-downl
         )
 
     def timed_main(self):
+        # This would be better, but impossible:
+        # https://stackoverflow.com/questions/51212/how-to-write-a-download-progress-indicator-in-python
         self.log_info('Downloading the release, this may take several seconds / a few minutes.')
         _json = self.github_make_request(path='/releases')
         asset = _json[0]['assets'][0]