Dokka HTML will replace this file at build time.