Fix a number of issues with the C plugin tutorial
Review Request #3237 — Created June 7, 2024 and submitted — Latest diff uploaded
This picks up the changes from /r/1707 as adopting review requests is a bit complicated.
Built the docs and reviewed that the c plugin howto.