/doc/todo/factor_out_Grub.configured_for_any___47__etc__47__default_config/