Switch to 0.4.2
Update HISTORY