Merge heads-wiki repo into a heads-wiki subdir of this project to render at osresearch.net and archive for reference? (long-term plan)

[tlaurion]

Would there be any opposition?

[fhvyhjriur]

I vote for yes, heads-wiki should be a subdir of this project. I would also vote for using the name "Documentation" to have the same subdir-design like coreboot: https://github.com/coreboot/coreboot/tree/main/Documentation