¿Está $HOME todavía en la cima?