Add keyboard shortcut to toggle demo recording.
Server-side complement to client-side demo recording.
Don't use instant input when playing back recording.
Improve server-side complement to client-side demo recording.