Document sudo usage more explicitly in case people run into issues with permissions