This issue has already been raised here…
Even if the issue gets fixed, you’d still be far better off using virtual pins rather than digital pins.
Pete.