Weirdness. I have extras enabled ... and mauku does install. But install manager reports failure, and I believed it! It's on, though.