02:38:01 hadfl: both PRs should be in much better shape now.