Okay so I just added that line just atop all that stuff. Then I presses
ctrl+x to exit and then saved the changes. I didn't specifically choose the
format, I just pressed enter. And then I was taken back to the terminal.
Then I did the wget https://jxself.org/gpg.inc
Then I checked the key. And the key was good.
Then I did the sudo apt-key add gpg.inc - And got "OK" after I confirmed my
password.
Then I did the rm gpg.inc - But nothing at all happened. The terminal just
hopped down to receive another command as if nothing happened.
Then I did sudo apt update - All packages are up to date.
Then I did grep --color=always -i PAE /proc/cpuinfo - PAE was indeed
highlighted in red, so I interpreted that as a "good to go".
Then I did sudo apt install linux-libre-4.14 - I got this:
"Reading package lists... Done
Building dependency tree
Reading state information... Done
E: Unable to locate package linux-libre-4.14
E: Couldn't find any package by glob 'linux-libre-4.14'
E: Couldn't find any package by regex 'linux-libre-4.14'
"
:/
I tried to be veeery cautious about my typos, but should I try the whole
shabang one more time, from the beginning?