It breaks my heart to see audacity mentioned but not SoX.
Jan
--- faq13.html.orig Thu Sep 24 15:04:53 2020
+++ faq13.html Thu Sep 24 15:04:36 2020
@@ -242,8 +242,8 @@ is unmuted.
<p>
If needed, the resulting WAV file could be compressed with the
appropriate program from the ports tree.
-Alternatively, ports like audacity or ffmpeg can be used to record, process
-and compress audio files.
+Alternatively, ports like sox or ffmpeg or audacity can be used
+to record, process and compress audio files.
<h2 id="recordmon">Recording a Monitor Mix of All Audio Playback</h2>
