Ah! Yeah, you'll need to sign and reinstall after any edits. Not hard, but certainly some friction.

Edit: whoops, obsolete link. Fixed.

https://developer.mozilla.org/en-US/Add-ons/WebExtensions/Pu...