Update docs and other housekeeping before 0.5 release

Don't merge yet.