<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<font face="Arial">Dirk:<br>
<br>
Here's a (very) small patch to correct a typo on the manual.<br>
<br>
BTW: I've noticed while testing the AppImage, that the included
user manual is older than the version on the git master (or at
least has typos that are not in master).<br>
<br>
Cheers:<br>
<br>
Pedro<br>
</font>
</body>
</html>