Bureaucracy.

* index.html-top: Update notice date.

* onetime (license): Update copyright year.

* example.onetime: Update to show new format.