Instapaper bookmarklet

Last post by sibelius: Hi, is there any way to make instapaper bookmak let work on Opera Mini Android?
I added it but does not work. Is it possible edit it?
http://www.instapaper.com/extras