Easy install option: Provide this library in the Arduino app's built-in Library Manager, too.