Thanks!
Side note: since edits on the last post no longer bump the topic an edit doesn’t work well as a notification. One of your colleagues once said that one should just post separate updates instead. It’s interesting that you guys often don’t do that yourselves.