Is there a 1.3.13 deb package for ubuntu with a websocket support?
The ppa has 1.3.12
Is this ppa official and can be trusted?
Is it safe to use 1.3.13 in production as a replacement for the package
from the ubuntu official repository or is it considered still