Merged with 60131df02b521235a311031f9410f530ded60f33. -- Pierre Neidhardt https://ambrevar.xyz/