I wonder if they ever got Google docs to print/convert to pdf without disrupting the formatting.