- <br>Use at your own risk. See the <a title="GNU General Public License"
- href="http://www.gnu.org/copyleft/gpl.html">license</a> for details.</strong>
+ <br>Use at your own risk. See the <a title="GNU General Public License version 2"
+ href="@user-manual@copyright.html">license</a> for details.</strong>