Android support

[lukakralik]

Hi,

I really enjoy using this extension for desktop Firefox, mainly the meaningful names and direct link to the ar5iv HTML5 version.

Are there any plans for an Android port? If no, is there any feasible alternative to get this behaviour with different extensions or dedicated websites?

In the case of both answers being no, I would be happy to attempt to do this port myself.

[j3soon]

Hi, sorry for the late reply.

This extension works on Android a very long time ago. However, the extension installation policy of Firefox android has been changed at some point. If I recall correctly, the default Firefox android app doesn't allow custom extensions, and will require Firefox Nightly on android and some extra steps. But I didn't have time to further investigate this.

Please feel free to try port this to Android, and let me know if you encountered issues during the process. Thanks!

Reference: https://support.mozilla.org/en-US/kb/extended-add-support