oh, right, and another thing we figured out last night is that dkctl wants a short name such as dk3, not a path such as /dev/dk3. we just took it for granted that the latter was allowed, and were very confused when we realized a basic invocation wasn't doing what it's supposed to. we had to closely compare what we were doing with tutorials for tangentially-related tasks to notice the difference.