I was just wondering about this same point.
I've got a 5k project and I started my first timeline at 5k RED, and then after reading around a bit thought I might have a more responsive system using a 1920X1080 RED timeline. Although the 1920 timeline doesn't seem to have offered an appreciable difference.
I might be able to just put the 5k timeline nested into a 1920X1080 timeline for export purposes.