Switched to most recent web console 4.2.0

Closes #317