Update copyright info for 2013.
Bump version for 4.0.2 release.

In the future this should be done immediately after the previous
WordPress.org release.
Remove screen options @todo.

This was never a Webcomic issue, but a bug in WordPress (that has since
been fixed).