On Wed, Mar 18, 2026 at 3:49 PM Danilo Krummrich <[email protected]> wrote: > > What do you mean with extra file?
Right, sorry -- I was probably overfocused on the `mod.rs` symlink for some reason. We may have talked about generating them on the fly in the past too, I don't recall anymore. Let's assume "s/an extra file/extra lines" on my message... If folks are OK writing manually them, or that we generate them on the fly, then I am happy I can get the option I always liked! :P We can chat about it in one of the calls. Cheers, Miguel
