> For the complete documentation index, see [llms.txt](https://news.telosys.org/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://news.telosys.org/version-4.1.1.md).

# 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