Version 4.1.1 (2024-January)

Version 4.1.1 is a minor release with the following changes:

• Model checking rules now allow foreign keys to reference attributes other than primary keys

• Proxy configuration is now operational (useful if accessing GitHub for bundles installation is via a proxy)

• Some minor bugs have been fixed