Commit 8edf2ae3fcf7a20c28142dfada145f4a89808a05

Paul Eggert 2023-08-03T18:27:35

readutmp: fix comments