Fix the f5 for admin and eldoc by requiring cider