The list of options is not complete without Neil Day. But it’s difficult to just take and add this option to the vote. We will think about what can be done.

In any case, all the people mentioned, including Neil Wilkes, deserve a mention in connection with this Day.