# GNU/GPL v3 or later
see misc/license.txt
