This material was presented at the "WeDX Talks" on Dec 23, 2024. https://wedxtalks.connpass.com/event/340110/