protocol-reference.html: remove console.log() call