Workspace for modifying Aleph code