I am not sure if you already know this, but one thing I read makes me think that you don't - you can delete tech when you've actually found the tech...
Currently, I don't know of any way to tell if one planet is marginally bigger or marginally smaller than another in the game. (so that I know I can...
Separate names with a comma.