Opera released example WebAI extensions demonstrating local automated tab sorting and clickbait detection