On principle, I am downvoting any typical bot-response comments. Don’t do that here, not even “ironically”.