Oh, cool — there's nothing telling users they can apply these options to the mdlog list; that needs to be documented.