On 28 May 2025, at 17:04, Benny Kjær Nielsen wrote: > (I'm actually not sure why this is the case and it could be considered a bug.) Explicit code was needed to handle this case. It should be easier to reorder sources in the next update. -- Benny