Commenting out jedi and theme loading.