diff --git a/README.html b/README.html
index bdd4b4e..49dcb41 100644
--- a/README.html
+++ b/README.html
@@ -17,7 +17,7 @@ systems) can act either as AirPlay clients, or as the server running
 UxPlay. Using AirPlay, UxPlay can emulate a second display for macOS
 clients.</li>
 <li>Support for older iOS clients (such as 32-bit iPad 2nd gen. and
-iPhone 4S, when upgraded to iOS 9.3.5 or later), and a Windows
+iPhone 4S, when upgraded to iOS 9.3.5 or later), plus a Windows
 AirPlay-client emulator, AirMyPC.</li>
 <li>Uses GStreamer plugins for audio and video rendering (with options
 to select different hardware-appropriate output “videosinks” and
@@ -25,7 +25,8 @@ to select different hardware-appropriate output “videosinks” and
 pipeline).</li>
 <li>Support for server behind a firewall.</li>
 <li><strong>New</strong>: Support for Raspberry Pi, with hardware video
-acceleration using Video4Linux2 (as a replacement for OpenMAX). (For
+acceleration using Video4Linux2 (which supports both 32- and 64-bit
+systems, unlike deprecated OpenMAX (omx), which it replaces). (For
 GStreamer &lt; 1.22, a <a
 href="https://github.com/FDH2/UxPlay/wiki/Gstreamer-Video4Linux2-plugin-patches">patch</a>
 to the GStreamer Video4Linux2 plugin, available in the <a
@@ -121,10 +122,10 @@ GPU</strong></p>
 h264 video but this usually has unacceptable latency, and
 hardware-accelerated GPU decoding should be used. UxPlay accesses the
 GPU using the GStreamer plugin for Video4Linux2 (v4l2), which replaces
-unmaintained 32-bit-only OpenMAX (omx) used by RPiPlay. Fixes to the
-v4l2 plugin that allow it to work with UxPlay on RPi are now in the
-GStreamer development branch, and will appear in the upcoming
-GStreamer-1.22 release. A (partial) backport (as
+unmaintained 32-bit-only OpenMby RPiPlay. Fixes to the v4l2 plugin that
+allow it to work with UxPlay on RPi are now in the GStreamer development
+branch, and will appear in the upcoming GStreamer-1.22 release. A
+(partial) backport (as
 <code>gstreamer1.0-plugins-good-1.18.4-2+~rpt1</code>) has already
 appeared in RPi OS updates. Until the full update appears, or for other
 distributions, you can find <a
diff --git a/README.md b/README.md
index fed4ebd..53cfce7 100644
--- a/README.md
+++ b/README.md
@@ -14,14 +14,15 @@ Highlights:
      as the server running UxPlay. Using AirPlay, UxPlay can
      emulate a second display for macOS clients.
    * Support for older iOS clients (such as 32-bit iPad 2nd gen. and
-     iPhone 4S, when upgraded to iOS 9.3.5 or later), and a
+     iPhone 4S, when upgraded to iOS 9.3.5 or later), plus a
      Windows AirPlay-client emulator, AirMyPC.
    * Uses GStreamer plugins for audio and video rendering (with options
      to select different hardware-appropriate output "videosinks" and
      "audiosinks", and a fully-user-configurable video streaming pipeline).
    * Support for server behind a firewall.
    * **New**: Support for Raspberry Pi, with hardware video acceleration using
-     Video4Linux2 (as a replacement for  OpenMAX). (For GStreamer < 1.22,
+     Video4Linux2 (which supports both 32- and 64-bit systems, unlike deprecated
+     OpenMAX (omx), which it replaces). (For GStreamer < 1.22,
      a [patch](https://github.com/FDH2/UxPlay/wiki/Gstreamer-Video4Linux2-plugin-patches)
      to the GStreamer Video4Linux2 plugin, available in the
      [UxPlay Wiki](https://github.com/FDH2/UxPlay/wiki), is required, unless
@@ -112,7 +113,7 @@ if not, software decoding is used.
     Raspberry Pi (RPi) computers can run UxPlay with software decoding
     of h264 video but this usually has unacceptable latency, and hardware-accelerated
     GPU decoding should be used.  UxPlay accesses the GPU using the GStreamer
-    plugin for Video4Linux2 (v4l2), which replaces unmaintained  32-bit-only  OpenMAX (omx) used by
+    plugin for Video4Linux2 (v4l2), which replaces unmaintained  32-bit-only  OpenMby
     RPiPlay. Fixes to the v4l2 plugin that allow it to
     work with UxPlay on RPi are now in the GStreamer development branch, and will appear
     in the upcoming GStreamer-1.22 release.
diff --git a/README.txt b/README.txt
index d607590..b6a0cdf 100644
--- a/README.txt
+++ b/README.txt
@@ -13,7 +13,7 @@ Highlights:
     UxPlay. Using AirPlay, UxPlay can emulate a second display for macOS
     clients.
 -   Support for older iOS clients (such as 32-bit iPad 2nd gen. and
-    iPhone 4S, when upgraded to iOS 9.3.5 or later), and a Windows
+    iPhone 4S, when upgraded to iOS 9.3.5 or later), plus a Windows
     AirPlay-client emulator, AirMyPC.
 -   Uses GStreamer plugins for audio and video rendering (with options
     to select different hardware-appropriate output "videosinks" and
@@ -21,8 +21,9 @@ Highlights:
     pipeline).
 -   Support for server behind a firewall.
 -   **New**: Support for Raspberry Pi, with hardware video acceleration
-    using Video4Linux2 (as a replacement for OpenMAX). (For GStreamer \<
-    1.22, a
+    using Video4Linux2 (which supports both 32- and 64-bit systems,
+    unlike deprecated OpenMAX (omx), which it replaces). (For GStreamer
+    \< 1.22, a
     [patch](https://github.com/FDH2/UxPlay/wiki/Gstreamer-Video4Linux2-plugin-patches)
     to the GStreamer Video4Linux2 plugin, available in the [UxPlay
     Wiki](https://github.com/FDH2/UxPlay/wiki), is required, unless your
@@ -119,10 +120,10 @@ used.
     of h264 video but this usually has unacceptable latency, and
     hardware-accelerated GPU decoding should be used. UxPlay accesses
     the GPU using the GStreamer plugin for Video4Linux2 (v4l2), which
-    replaces unmaintained 32-bit-only OpenMAX (omx) used by RPiPlay.
-    Fixes to the v4l2 plugin that allow it to work with UxPlay on RPi
-    are now in the GStreamer development branch, and will appear in the
-    upcoming GStreamer-1.22 release. A (partial) backport (as
+    replaces unmaintained 32-bit-only OpenMby RPiPlay. Fixes to the v4l2
+    plugin that allow it to work with UxPlay on RPi are now in the
+    GStreamer development branch, and will appear in the upcoming
+    GStreamer-1.22 release. A (partial) backport (as
     `gstreamer1.0-plugins-good-1.18.4-2+~rpt1`) has already appeared in
     RPi OS updates. Until the full update appears, or for other
     distributions, you can find [patching instructions for