Hide WP Version feed error

Hello,

Whilst running wget, I came across HTTP 500 errors being generated by WordPress when crawling RSS pages such as /feed :

<channel>
	<title>Thai Cookery</title>
	<atom:link href="http://thaicook.local/feed/" rel="self" type="application/rss+xml" />
 ...
	<sy:updateFrequency>
	1	</sy:updateFrequency>
	<error>
    <code>internal_server_error</code>
 ...

A working feed typically outputs the generator tag next, i.e. something like:

<generator>https://wordpress.org/?v=5.9.2</generator>

In the General settings I had checked ‘Hide WP Version’. When I unchecked, the error disappeared, so that suggests the error lies there.