Thanks for these! There's no need to open a separate bug report; I think it makes sense to apply all of these and will do so shortly.
Thanks for these! There's no need to open a separate bug report; I think it makes sense to apply all of these and will do so shortly.