Not to be a stickler but downloading random deb's from the internet and installing those isn't a much better practice than adding a repo .