Formatting

A bit OCD, I know
Added a method to get the RecorderFacade

I will stop making this a singleton, since singletons are terrible
to test
Moved the "knowingWorkspace" stuff to the infra

So we can reuse it later