Source code of an extension testing a bug in Opera 23 Dev