v2.15.20

Fixes websocket timeout and the delete key mapping. Changed to prevent
browser default when using unix-ctrl commands.