Do a bit of manual fudging on dropblox_intro.html; we can get it in the markdown later