Dobrze, zniknęło¹ bo najwyraźniej przestało być domyślnie włączone, czyli teraz po prostu wróci i będzie normalnie. Na wszelki wypadek trzymamy kciuki. :D

¹ terminal w gedit