Looks like @jeandr hasn't received any replies!