These are mostly functionally unrelated things but the code builds up from one commit to other so I put them into a single PR. See the individual commits for details.
cc @PabloMansanet for 6e6109d6766f31612634c9858867787c08617b5b which fixes a peculiar bug in the deadline-based for loops. .)
These are mostly functionally unrelated things but the code builds up from one commit to other so I put them into a single PR. See the individual commits for details.
cc @PabloMansanet for 6e6109d6766f31612634c9858867787c08617b5b which fixes a peculiar bug in the deadline-based for loops. .)