[I think I'm not using gitlab effectively, because your commits and some merge requests aren't getting pushed at me...] I didn't participate in this discussion, and reading over it, I don't really understand what this MR is trying to accomplish. Can you sum it up? Should we merge it before this release? thanks, r