[PATCH v3] manual: Fix and test @deftypef* function formatting

[Carlos O'Donell]

On 10/10/24 6:02 PM, H.J. Lu wrote:
> LGTM with commit log typos fixed.
> 
> Reviewed-by: H.J. Lu <hjl.tools@gmail.com>

Thanks. Fixed and pushed as v4. Turned on spell checking in by default
in my editor so I don't keep making the same mistakes.

-- 
Cheers,
Carlos.