@hbghlyj @JuliaScythe @ascchrvalstr Thank you a lot for your previous contributions to these notes!
I think it would be a good idea to include the names of everyone who has contributed to this project in the acknowledgements section of the repo README, so please indicate your preferred name for that. If no preference is provided, your GitHub username will be used by default.
Thank you once again for your valuable contributions!