Greetings! It’s June 2021 and CROSS has an update ready for CROSS Library Mint!
This update resolves issues with Linux bash scripts used to launch CROSS Library Mint and backup CROSS Library databases to disk (shared folder).
In other words, after this update these functions should simply work reliably on all CROSS Library Mint systems.