Oh, thanks. Is that documented anywhere? Would have saved me some time if I had seen that earlier.

I've also posted this question on StackOverflow.

Is there any keyboard shortcut top open a document tab statically instead of dynamically? Or alternatively to convert a dynamic document tab to a static one (other than editing the file and then undoing the edits)?