One point I had considered and then forgotten: it would be useful to add an explicit mention of the usage license for these notes. Before doing so, I need to explore the various options available, starting with the licenses offered by Creative Commons.