Features and bug fixes targeted to ship Dev Home v0.13.

The "Due date" is aspirational and primarily intended to help sort milestones.

As the date approaches features and bugs may be moved to the next milestone.