How to switch off HDRP at runtime (perhaps by scene?)

We have a project in 2019.2 that is using HDRP. But for one particular feature, I want to switch to a scene that certainly does not need it (it's a retro pixel art scene), and in fact HDRP is making my life substantially more difficult than it should be.

Is it possible to switch HDRP off at runtime? I found GraphicsSettings.renderPipelineAsset, but I'm not sure what to assign if I want just the good ol' fashioned render pipeline. The Create menu only offers to create another HDRP pipeline asset, and when I tried to assign null, it appeared to have no effect.

EDIT: Nope, I'm wrong, assigning null does appear to do the trick. Huzzah!