EDITING: Update workspace on redirect

Fixes #517