For reference, I've now filed a bug to cover outreach for the specific tool that this user was using: https://bugzilla.mozilla.org/show_bug.cgi?id=1236664
I'm also trying to get my hands on the software, but it's "invitation only", so that may prove difficult. ~Daniel _______________________________________________ dev-platform mailing list dev-platform@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-platform
