Looks like @antonpaul hasn't received any replies!