# Re-include this design document's build sources, which the repo-root
# .gitignore would otherwise drop via the global *.html / *.png rules.
!*.html
!*.png