Looks like @mrtrieu hasn't received any replies yet!