As the LogMiner implementation is maturing, let's use this one by default, as it is what the majority of users will wish to use. Instructions in the tutorial example will need updating, too.