Just for the record: running "sudo apt update" gave me the same error, even though original askubuntu post suggested otherwise.
Just for the record: running "sudo apt update" gave me the same error, even though original askubuntu post suggested otherwise.