Looking at my electronic devices deciding which should accompany me on my trip next week. Wondering if I should leave my nice laptop at home and take a netbook with tiny linux distro or a chromebook instead. Hmm…