Help! I cannot use the < or the > or the | key any longer. Is that a known bug? It surely is annoying... and the key itself is working fine on the console but not in any terminal. Thanks, Alexander