I have an old dell 11 and first installed gallium os too, then jumped to peppermint os, which is pretty good so far.
Ahh yeah, that makes sense. Thanks for sharing the info!