Looks like @antoni08 hasn't received any replies!