diff --git a/doc/common/links.adoc b/doc/common/links.adoc
index 2dc248df1..d02877109 100644
--- a/doc/common/links.adoc
+++ b/doc/common/links.adoc
@@ -97,6 +97,7 @@ d). Edit lines as needed. Keeping them in alphabetic order help see dupes.
 :wsjt_svn: http://sourceforge.net/p/wsjt/wsjt/HEAD/tree/[here]
 :wspr_code: http://physics.princeton.edu/pulsar/K1JT/WSPRcode.exe[WSPRcode.exe]
 :wspr_svn: http://sourceforge.net/p/wsjt/wsjt/HEAD/tree/branches/wspr/[here]
+:kvasd_installer: http://sourceforge.net/projects/wsjt/files/kvasd-installer/kvasd-installer-1.12.14/kvasd-installer-1.12.14.tar.gz/download[kvasd-installer]
 
 // MAIL-TO links
 :alex_efros: mailto:powerman@powerman.name[Alex Efros]
diff --git a/doc/user_guide/install-linux.adoc b/doc/user_guide/install-linux.adoc
index 81775a252..d631f4b8d 100644
--- a/doc/user_guide/install-linux.adoc
+++ b/doc/user_guide/install-linux.adoc
@@ -1,39 +1,79 @@
 // Status=review
 
-* For Debian, Ubuntu, and other Debian-based systems:
-** 32-bit: {debian32}
+Debian, Ubuntu, and other Debian-based systems:
+
+* 32-bit: {debian32}
 - To install: +sudo dpkg -i wsjtx_{VERSION}_i386.deb+
 - Uninstall:  +sudo dpkg -P wsjtx+
-** 64-bit: {debian64}
+* 64-bit: {debian64}
 - To install: +sudo dpkg -i wsjtx_{VERSION}_amd64.deb+
 - Uninstall:  +sudo dpkg -P wsjtx+
-** You may also need to execute the following commands in a terminal:
+
+You may also need to execute the following commands in a terminal:
 
  sudo apt-get install libqt5multimedia5-plugins libqt5serialport5 
  sudo apt-get install libfftw3-single3
 
-* For Ubuntu 15.04 and similar systems:
+For Ubuntu 15.04 and similar systems, the above and also
 
- sudo apt-get install libqt5multimedia5-plugins libqt5serialport5
- sudo apt-get install libfftw3-single3 libqt5opengl5 
+ sudo apt-get install libqt5opengl5 
 
-* For Fedora, Red Hat, and other rpm-based systems:
-** 32-bit: {fedora32}
+Fedora, Red Hat, and other rpm-based systems:
+
+* 32-bit: {fedora32}
 - To install: +sudo rpm -i wsjtx-{VERSION}-i686.rpm+
 - Uninstall: +sudo rpm -e wsjtx+
-** 64-bit: {fedora64}
+* 64-bit: {fedora64}
 - To install: +sudo rpm -i wsjtx-{VERSION}-x86_64.rpm+
 - Uninstall: +sudo rpm -e wsjtx+
-** You may also need to execute the following commands in a terminal:
+
+You may also need to execute the following commands in a terminal:
 
  sudo yum install fftw-libs-single qt5-qtmultimedia qt5-qtserialport 
 
-* All Linux users should install a companion program called +kvasd+,
-the Koetter-Vardy algebraic soft-decision Reed Solomon decoder.  
-Execute the following commands from a terminal:
+.KVASD Installation
+
+All Linux users must install a companion program called +kvasd+, an
+implementation of the the Koetter-Vardy algebraic soft-decision
+decoder for the Reed Solomon (63,12) code.  Users of Ubuntu and other
+Debian-based sysyems can install +kvasd+ by executing the following
+commands in a terminal:
 
  sudo add-apt-repository ppa:ki7mt/kvasd-installer
  sudo apt-get update
  sudo apt-get install kvasd-installer
  kvasd-installer
 
+The final screen of the installer should include the line
+
+ KVASD version 1.12 -- Decode test *** PASSED ***
+
+which should also be displayed if the command
+
+ kvasd -v
+
+is executed after installation is complete.
+
+You can install +kvasd+ on most Linux systems (including ARM-based
+systems) by downloading, unpacking, and executing the simple tools
+packaged in the +kvasd-installer+ script.  Your system will need the 
+following standard tools already installed: 
+
+ autoconf awk bash dialog libgfortran svn
+
+Download the {kvasd_installer} tarfile to a conveniant directory, then
+execute the following commands in a terminal there:
+
+ tar xzf kvasd-installer-1.12.14.tar.gz
+ cd kvasd-installer-1.12.14
+ ./autogen.sh
+ sudo make install
+ kvasd-installer
+
+As described above, the final screen of the installer should include
+the line
+
+ KVASD version 1.12 -- Decode test *** PASSED ***
+
+
+
diff --git a/doc/user_guide/install-mac.adoc b/doc/user_guide/install-mac.adoc
index 94a2687ab..7230f8529 100644
--- a/doc/user_guide/install-mac.adoc
+++ b/doc/user_guide/install-mac.adoc
@@ -1,16 +1,25 @@
 // These instructions are up-to-date for WSJT-X v1.4
 
-* OS X 10.7 and later: {osx} 
+*OS X 10.7* and later: Download the file {osx} to your desktop,
+double-click on it and consult its +ReadMe+ file for important
+installation notes.  
 
-* After downloading it to your desktop, double-click on the dmg file
-and consult its +ReadMe+ file for important installation notes.
-
-* If you have already installed a previous version, you can retain it by
+If you have already installed a previous version, you can retain it by
 changing its name in the *Applications* folder (say, from _WSJT-X_ to
 _WSJT-X_previous_).  You can then proceed to the installation phase.
 
-* Remember to use the Mac's *Audio MIDI Setup* utility to configure
-your sound card for 48000 Hz, two-channel, 16-bit format.
+In a command-line terminal, execute the command
+
+ kvasd-installer
+
+and follow its instructions.  The final screen should include the line
+
+ KVASD version 1.12 -- Decode test *** PASSED ***
+
+Take note also of the following:
+
+* Use the Mac's *Audio MIDI Setup* utility to configure your sound
+card for 48000 Hz, two-channel, 16-bit format.
 
 * Use *System Preferences* to select an external time source to keep
 your system clock synchronized to UTC.