It sucks that we have to start from scratch every time.There was a bug open since 2012: https://bugzilla.mozilla.org/show_bug.cgi?id=775672 It was closed when Mozilla decided to move to GitHub for issues.There was a bug in GitHub since 2019: https://...
