Why every sci-fi nerd eventually names their servers after starships