PeerTube: A decentralized video hosting network, based on free software