[Release-team] Workspace 0.3.1 deploy request

Hey guys, the Workspace Team (TM) would like to request a deploy of Workspace 0.3.1. This is a very small release fixing a couple of irritating bugs. -g