Wait, what? I don’t think I’ve ever heard of these being called “punched cards” before!
(From this nice look back at the history of the OEIS from the creator: http://neilsloane.com/doc/HIS50.pdf_
This is a placeholder, overwrite this by putting a file at
$STATIC_DIR/static/terms-of-service.html
See the Static Directory docs for more info.