@lcamtuf I think 3) sounds the most appealing 😉