On Sat, Jan 07, 2023 at 01:11:46PM -0500, Richard Kimberly Heck wrote: > Anyone else have thoughts about this? In principle should be fine (and more portable). Pavel