In workflows/render.yml, manual_diffbase is snake_case, while extra-build-options is kebab-case. We should make these consistent without breaking anybody.