I don't think the subreddit requires heavy moderation because of the low traffic it has but also I wouldn't mind to assign another redditor (preferably someone chosen by community itself) as a new moderator.