Fair enough, and I understand the arguments against adding that.

On the mobile extension side, just in case you were unaware, Firefox on Android has had extensions now for 2+ years.

Good luck with the project!