On Monday, 8 June 2020 at 10:28:39 UTC, Paul Backus wrote: > [snip] Thanks for that suggestion. That works for me. Unfortunately, it's probably not worth the extra effort though, versus doing foo!fabs in my case.