Thanks for the review. Merged with 7dd2005f114f775ea75bc66b580eaca540ba8475. -- Pierre Neidhardt https://ambrevar.xyz/