Attiny85 boards manager problem

1. Follow the steps of post #7 of this thread to install Digispark ATtiny85 Dev Board.

2. After installing the ATTinyCore, the IO pins of the ATtiny85 of Digispark Dev Board are assigned the following numerical numbers:

IO Pin	DPin
PB0		0
PB1		1
PB2		2
PB3		3
PB4		4
PB5		5

3. Example Blinking onboard LED (D2) at 1-sec interval. (D2 is connected at PB1 (DPin-1) of the ATtiny85 MCU.
(1) Connect Digispark Board with PC.
(2) Goto Device Manager and check that the board has appeared as “Digispark Bootloader” under “libusb-win32 devices”.

(3) Launch IDE 1.81.19 and create the following sketch:

#define LED 1    //PB1 = MISO pin

void setup()
{
  pinMode(LED, OUTPUT);

  //-------system reset indication-----
  for (int i = 0; i < 3; i++)
  {
    digitalWrite(LED, HIGH);
    delay(200);
    digitalWrite(LED, LOW);
    delay(200);
  }
}

void loop() 
{
  digitalWrite(LED, HIGH);
  delay(1000);
  digitalWrite(LED, LOW);
  delay(1000);
  //------------------
}

(4) Perform the following task:
IDE---> ools --> Board: ---> ATTinyCore ---> ATtiny85 (Micronucleus / DigiSpark)

(5) Perform Compile/Verify
(6) Perform Upload
(7) Check that the LED (D2) near the Attiny85 is blinking at about 1 Hz.