orthonormal comments on Improving the modal UDT optimality result

[orthonormal]

Two further notes:

1. Said folk theorem is in fact shown in Boolos.

2. Benja verified that the optimality result should work for chicken-playing modal UDT as well as descending-search-order modal UDT.