Everyone is free to redistribute my comments in this thread, in
whole or in part, modified or unmodified, with or without credit; I
waive all rights associated with them to the maximum extent possible
under applicable law. Where applicable, I abandon their copyright to
the public domain. I wrote and published these comments in Argentina in 2021.
http://creativecommons.org/publicdomain/zero/1.0/