FORMAL-PUBLIC-CEASE-AND-DES.../docs/pushed.log