Shaken, not stirred
Fix HTML validation errors.
Improve linking in declarations.
Add link to bug source.
On repo change detection, wait before crawling.

When a Github repo change is detected, set the maximum crawl time for
the packages in the project to one hour in the future. This will limit
crawling for busy projects.
Improve handling of frequently updated git repos.
Remove vestiges of old import path to package name code.

Also, futher progress on method signatures.
Checkpoint.
Keyboard shortcuts and misc other changes.
Rename repository.
Improve source link representation, misc fixes.