Gwern Branwen
Gwern Branwen
I've collected them over a long time so SF or the site may have changed. I have a lot of options set on the CLI but not on my FF...
I wouldn't expect it to save the video (that would be quite expensive in disk space, I'm not sure I want to spend it), I'd just like it to work...
I would appreciate that. It keeps coming up and I keep thinking to myself, "it works on the original page, and embeds in theory can be plopped into any page...
Per-site techniques are an inevitable evil in any web archiving or browser plugin aspiring to not just punt every problem to the user, yeah. > An alternative would be to...
I have spent a while trying that, and failed completely. I reinstalled HEAD to make sure any fixes got in but no matter what combination of `user-data-dir` and/or `profile-directory` I...
Alright, I will copy it over. Sounds like a bug. It's part of the standard now, after all, within the past few months. If you don't update the whitelist, I...
szhorvat: I don't think that makes any difference. Regardless of whether you use lazy, a dimension-less img tag still works. The image loads, and the page reflows as necessary. The...
Updates: - The Chrome bug has been fixed. - Global support is still at ~70%; CanIUse reports 81% because Safari has implemented it behind an optional flag, but that doesn't...
> First thought: this could make some filters much easier, e.g. search-replace operations for strings containing spaces would be possible. Yes, it definitely would. I [discussed this](https://groups.google.com/g/pandoc-discuss/c/jgb-Q0F2p1Y/m/1DogIEAtAQAJ) for my own...
> These filters will still be possible without Space, but they'd involve more steps: in this case, finding "AAA" as a word inside a longer string, splitting the longer string,...