goredo.texi  | 9 ++++++---
 install.texi | 1 -

diff --git a/goredo.texi b/goredo.texi
index c20c6b04385d936a603b4661405bc7329c737ea5e5e3ddb0aada9fc9fd2fc956..77477670973e59473342e84eb84897c12233038b5ce88f09a6c526b3d5884985 100644
--- a/goredo.texi
+++ b/goredo.texi
@@ -21,9 +21,12 @@ It passes tests from
 @url{http://news.dieweltistgarnichtso.net/bin/redo-sh.html, redo-sh.tests}
 and implementation-neutral ones from @command{apenwarr/redo}.
 
-goredo is free software, licenced under
-@url{https://www.gnu.org/licenses/gpl-3.0.html, GNU GPLv3}:
-see the file COPYING for copying conditions.
+@command{goredo} is
+@url{https://www.gnu.org/philosophy/pragmatic.html, copylefted}
+@url{https://www.gnu.org/philosophy/free-sw.html, free software}
+licenced under @url{https://www.gnu.org/licenses/gpl-3.0.html, GNU GPLv3}.
+It should work on all @url{https://en.wikipedia.org/wiki/POSIX,
+POSIX}-compatible systems.
 
 Please send questions, bug reports and patches to
 @url{https://lists.cypherpunks.ru/mailman/listinfo/goredo-devel, goredo-devel}
diff --git a/install.texi b/install.texi
index 43b0b436f263b0692263e37790a5032c8a0686e1913b5e2586dcc45f3be5ecd9..1f4c34b4e655b5f482d8a87ef639de2c86c496ec89ba97af94157fd0831014d8 100644
--- a/install.texi
+++ b/install.texi
@@ -1,7 +1,6 @@
 @node Install
 @unnumbered Install
 
-Hopefully it should work on all POSIX systems.
 Preferable way is to download tarball with the signature from website:
 
 @example