Bring documentation up to date for 0.4 release