Rafal Kolanski

> > Thanks @MrBlackGoo for checking that out. I wish I knew what the issues are with that x264 encoder profile setting (that's the "high" you're seeing). Could you let...

We have just tried another migration, this time using `mmctl export`, and now our *new* server has picked up strange behaviour with not notifying us of unread messages in channels....

> Depends on how many of those "quite a few" warnings are duplicates, and if it are dozens or hundreds of unique warnings. If it's too many it's just a...

Thanks for tracking down the `wp_comb`! Do you think you'll have any time/willingness post-deadlines to take a look at de-`hoare_vcg_precond_imp`ing? It's not good to have an unsafe rule waiting to...

The `including no_pre` thing was added during one of the Isabelle updates to keep existing lemmas working without thoughtful overhaul, from what I remember. Modifying this statement to be whatever...

Hang on, wouldn't that make the new `wp (once)` something like: `wp_pre, wp_fix?, resolve_ruleset_tac, cleanup_tac` (with the `?` being for the methods which can fail) rather than the `|`? This...

I think this is a solid start (going via _val for now). Content looks good. For `aarch64` branch, we'll have to do the update as well. Maybe after pre-VSpace_C, but...