Or perhaps I should go with the RedHat. 7.3 left me with a very unfavorable
stench in my nostrils after trying it (first experience with Linux) but I
understand that 8.0 was very much improved. Or perhaps I should go with
Debian? RPMs are a hastle! Are DEBs any better?