Initial commit of version '0.13.7-websockets'.