docs: Use `sudo tee` for apt pinning.
Use sudo when configuring apt pinning so the user doesn't have to switch so the root for that one command.
Use sudo when configuring apt pinning so the user doesn't have to switch so the root for that one command.