When do you get rid of unwanted techs ?
At what stage do you finally research that one tech that you don't need, but you get annoyed that it shows up again and again ?
Or do you keep them forever in the pool ?
Edit : thanks for all the replies, that's instructing