Mateusz Kowalski

A [PR](https://github.com/starkware-libs/cairo/pull/6440) was created in Cairo repository, to extend the API of diagnostics, so the LoweringGroup will no longer be required

> I've tried hard to find some input which would result in diagnostics, and this caused it > > ``` > #[starknet::contract] > pub(crate) mod DualCaseERC20Mock { > use starknet::ContractAddress;...

PR created in mdBook repository. https://github.com/rust-lang/mdBook/pull/2468

Update: mdBook requires us to make `highlight.js` support cairo directly. Made PR with changes to highlight.js directly: https://github.com/highlightjs/highlight.js/pull/4162

Unfortunately people from mdBook rejected any kind of way of adding support for custom language highlighting as for now. When the mdBook update the `highlight.js`, we can retry with a...

> Can you say how you generated this? I do not see cairo as a supported language in highlight.js 10.1. If it isn't one of the built-in languages, I don't...

> > I will go and make a PR inside the `highlight.js` with cairo support, and later on come back here :) > > Unfortunately that won't help for now,...

Hi, I see that source code is not up to date, as the live version of the website redirects you to `Settlers` league search (and it seems it's also hardcoded)....