The Platform Launch extension development docs have moved. You can now find this document on Experience League: Library module format for web extensions