Distributed under the GNU General Public License at gnu.org/licenses/gpl.html.
