Looks like @josse hasn't received any replies!