Remove unused Websocket server and DRY up workflow finding in Redis.