Should I delete the post?
I think you just accept quietly your downvotes or lack of upvotes, and remember to search next time.
(Also, Clippy - nice try.)
I did search but rather lazily (just entered the text and logically nothing came up). But that was very sloppy, I should have searched for "Charles Babbage" and skimmed the quotes that came up.
Take off every 'quote'! You know what you doing. For great insight. Move 'quote'.
And if you don't: