Having used Pandoc for a few years, I have to agree. It's slow, however keep in mind we will want to maintain the ability to export to many other formats beyond HTML and PDF. If we feel we can find/create Gulp plugins to fill in the gaps Pandoc could be dropped.