$ diff -p wikivoyage_before.html wikivoyage_after.html *** wikivoyage_before.html 2015-12-31 00:31:07.894269446 +0100 --- wikivoyage_after.html 2015-12-31 00:31:22.898269609 +0100 *************** mw.user.tokens.set({"editToken":"+\\","p *** 11,17 **** });mw.loader.load(["mediawiki.page.startup","mediawiki.legacy.wikibits","ext.centralauth.centralautologin","mmv.head","ext.visualEditor.desktopArticleTarget.init","ext.uls.init","ext.uls.interface","mw.MediaWikiPlayer.loader","mw.PopUpMediaTransform","ext.centralNotice.bannerController","skins.vector.js"]); } ); ! --- 11,17 ---- });mw.loader.load(["mediawiki.page.startup","mediawiki.legacy.wikibits","ext.centralauth.centralautologin","mmv.head","ext.visualEditor.desktopArticleTarget.init","ext.uls.init","ext.uls.interface","mw.MediaWikiPlayer.loader","mw.PopUpMediaTransform","ext.centralNotice.bannerController","skins.vector.js"]); } ); ! *************** mw.user.tokens.set({"editToken":"+\\","p *** 43,74 **** !

! !

From Wikivoyage

Europe > Nordic countries > Norway > Agder > Risør

! Jump to: navigation, search !

Risør is a very well preserved coast town between Kristiansand and Oslo, with an old history of sailing ships and lumber export in the golden days in the late 18 century. Nowadays known for art and handicraft.