loading is not an AttrDef

[Zhen-hao]

I got a valid HTML page traslated to Korolev via https://fomkin.org/korolev/html-to-levsha/
and the result contains

img(
        src := "./images/pair-time.svg",
        alt := "Company Logo",
        loading := "lazy",
        clazz := "w-full h-full cursor-pointer")),

Howeer, loading doesn't seem a value of type AttrDef.
Is there a workaround for this?

[Zhen-hao]

I can solve it by adding

AttrDef(levsha.XmlNs.html, "loading")

Feel free to close this one.