I too would love to see extensions come to Opera for Android. I use my tablet like a laptop and would love to have that access to Grammerly, Drive, and other extensions I use on desktop verions there too.
Well, your 2 is redundant - there is an X to stop loading, inside the address bar. (The reload changes to X while the page is loading.) If the address bar is at the bottom, the X would be also. Obviously the rest is up to them.