A terminal reader, ipx; the server is ipxd (#437)

ipx-tui (crates/tui) is iPX's reader in ratatui: your feeds, a feed's
items, an item's text as plain text, read and flagged as on the page,
through the API with an API token. It installs as `ipx`, so the daemon's
binary is now `ipxd`: the Dockerfile, release script, tests and every
doc and message that names its commands follow.

Naming the binary ipxd alone renamed its crate, and with it every log
target (ipx::scan became ipxd::scan): the default filters are ipx=info,
so nearly every line would have been dropped and the dashboard's queries
on the targets gone blank. The daemon's code is now a library still
called ipx, under a five-line ipxd main.rs, and the targets are as they
were.

ratatui is taken without its default features: 32 new packages in place
of 78.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01RqkrVDqdiQEMWAkNGQ2tYA

site/guides/install.html

@@ -35,12 +35,12 @@ docker build -f Dockerfile.web -t ipx-web .</code></pre>
       - ipx</code></pre>
 <pre><code>docker compose up -d</code></pre>
     <p>ipx has no port of its own: everything reaches it through ipx-web, on port 8099. Open <code>http://&lt;your server&gt;:8099</code> and sign in as <strong>admin</strong> with the password <strong>ipodderx</strong>, then change it:</p>
-<pre><code>echo -n 'a good password' | docker exec -i ipx ipx user passwd admin</code></pre>
+<pre><code>echo -n 'a good password' | docker exec -i ipx ipxd user passwd admin</code></pre>
     <p>The password is read from what you pipe in, so it stays out of your shell's history.</p>
 
     <h2>Adding people</h2>
     <p>An admin adds people in Admin, Accounts, or from the command line:</p>
-<pre><code>echo -n 'their password' | docker exec -i ipx ipx user add sam</code></pre>
+<pre><code>echo -n 'their password' | docker exec -i ipx ipxd user add sam</code></pre>
     <p>Each person starts with no podcasts and subscribes to their own. Two people subscribing to the same show cost nothing extra: it is fetched once and each file is kept once.</p>
 
     <h2>Settings</h2>