Bot name is currently fixed to Korean one, but maybe it can be configurable via MediaWiki messages like on Manual:FixDoubleRedirects.php?
Topic on Extension talk:Sanctions
It should Be, but has low priority I think. I created an issue for that. Anyway, Thank you for your kind attention.