Looks like @jdecroix hasn't received any replies!