Since there's already an issue report I'd recommend submitting a pull request instead of a duplicate issue report that will just get closed. I don't see that anyone has done this yet. The issue is almost 2 year old so obviously it hasn't been considered a high priority but finished code might have a better response. It shouldn't take much time to do.
I wonder if there's more overhead to setting the pulse to full width rather than doing the digitalWrite? That's the only reason I could see for doing it the way they did.