9df79de1a1
5a5db609e5 disabled it by default, which
may have been unintentional. mkEnableOption considered harmful.