utils.git/bin/embolden, branch master Some useful commands, and some less useful ones. With manuals. manuals, sum-down, radix 2024-05-18T19:04:34+00:00 David Wührer def@gmx.at 2024-05-18T19:04:34+00:00 77cfffee6177fb0421fa0fce15d6a1875bde4816