Commit 4692a8d8db0d6e570e1919ee3014e9498a67f702

Paul Eggert 2023-07-01T11:17:55

Also fix top/bootstrap long lines