This is a pretty technical post, so please, feel free to ignore it. I post this here mostly as a reminder to myself as to