On Thu, 24 Jun 2021, Maciej W. Rozycki wrote: > Posted as an RFC at this stage as it still has to be verified. So this has passed verification as it is, although with an extra change, not directly related. Shall I repost the series unchanged with the "RFC" annotation removed then, or can it go in as posted? Maciej
