add figures/*html to make github.io publishing work, hopefully