Looks like @mathieugaius hasn't received any replies!