diff --git a/README.md b/README.md
index 6283e178feb..23899ee644b 100644
--- a/README.md
+++ b/README.md
@@ -18,6 +18,7 @@ You can ask questions about Dafny on [Stack Overflow](https://stackoverflow.com/
 # Try Dafny
 
 The easiest way to get started with Dafny is to use [rise4fun](http://rise4fun.com/dafny), where you can write and verify Dafny programs without having install anything. On [rise4fun](http://rise4fun.com/dafny), you will also find the online Dafny tutorial.
+It is also easy to [install Dafny on your own machine](https://github.com/Microsoft/dafny/wiki/INSTALL) in VS Code, which gives you a much better user experience than in the web browser.
 
 # Setup
 
diff --git a/Source/version.cs b/Source/version.cs
index 8d2ecff508a..797dba5d54e 100644
--- a/Source/version.cs
+++ b/Source/version.cs
@@ -1,4 +1,4 @@
 using System.Reflection;
-// Version 2.2.0, year 2017+1 month 09 day 23
-[assembly: AssemblyVersion("2.2.0.10923")]
-[assembly: AssemblyFileVersion("2.2.0.10923")]
+// Version 2.3.0, year 2018+1 month 05 day 06
+[assembly: AssemblyVersion("2.3.0.10506")]
+[assembly: AssemblyFileVersion("2.3.0.10506")]