Sync from docs/wiki @ 03b9e67e359eae12cb155270ca0ee6aca9ce36d1
Sync from docs/wiki @ 567e096f540cd5baf72135fcb9ef95b844fdccff
Publish the wiki from docs/wiki Generated from docs/wiki in the brucetyper repository; edit there.