Mingye Wang

While we are at it, the state of `make_distrib.py` really isn't good. The `else: create_7z_archive(dir, archive_format)` branch is dead code. Well, technically the entire 7z function is...

xz comes default installed on most OS. With tar it's always pure solid and has good encoding story (almost always UTF-8). The 2-level decompression is a result of how archive...

> Also, Windows 10 has tar(bsdtar) on board, but it again, virtually useless, as it have only gzip support. And because of this - 7zip is winner, as it anyway...

Huh, Microsoft is now making the built-in bsdtar the basis of a new feature, it seems. https://www.bleepingcomputer.com/news/microsoft/windows-11-getting-native-support-for-7-zip-rar-and-gz-archives/ I got "working on it" tagged in the Feedback Hub, so they are...

The mandoc(1) manual has a lot of useful options for `-Thtml` output. See https://man.openbsd.org/mandoc.1. We will need: * `-Ostyle=/xcode-man-pages/mandoc.css`, which causes it to inject the correct code for CSS inclusion....

> Roff2html isn't going to do any of that still Yay, it got removed with 24e4e034df8c2a0c3d29d36b7d25d0d6b8c46ece. It's even simpler now.

Hmmm... I can get `-Oman=` to work in an isolated invocation, but I am still struggling to understand what `-Ostyle` wants. Going to put it off for now; maybe I...

As with the previous problem, the PEG syntaxes have diverged significantly since pyseeyou took the PEG definition: * https://github.com/messageformat/messageformat/commits/a12668e8f06ed7e290359a7781153315d3e03f17/parser.pegjs * https://github.com/messageformat/messageformat/commits/master/packages/parser/parser.pegjs It's going to take some time to re-sync it....

The keybinds are a bit off on my end too, to the point that I thought it's not working! Apparantly on my macOS box: * click, shift, alt-click all map...

So uh although the sshd part is fixed in d0d07285234871bad3dc0c359d0ec03365b6dddc, enabling anything else should cause some less-than-pleasant results. I think we should follow the Debian guys with a bigger patch.