Looks like @adam42 hasn't received any replies yet!