WordPress plugin to specify the category used in post permalink for posts with multiple categories.