Fiz o procedimento de 2 formas: após copiar e colar os textos no editor que foi aberto via terminal, imediatamente reiniciei o sistema, e a outra forma foi a mesma coisa, com a diferença que após copiar e colar os mesmo textos, salvei-os, fechei todos os programas e em seguida reiniciei o sistema.
Nas 2 formas, a opção hibernar NÃO apareceu no menu! E agora?