Hi Leo, On Mon, Jan 27 2025, Leo Famulari wrote:
> Your thoughts? You should choose whichever is easier and more intuitive for you. If you go with build time, which I find reasonable, please consider that the change from vanilla is less visible to users and should therefore be documented better. Kind regards Felix
