diff --git a/README.md b/README.md
index 050368b..20815f3 100644
--- a/README.md
+++ b/README.md
@@ -5,7 +5,9 @@ run in an [IPython](http://ipython.org/) notebook. There is an
 executable `icryptol-kernel` that uses
 [Cryptol](https://github.com/GaloisInc/cryptol) as a library, and a
 script `icryptol` which sets up the current IPython environment with a
-Cryptol profile. More details are available in issues #75, #76, and #163.
+Cryptol profile.
+
+ICryptol is not currently available on Windows (#12).
 
 # Getting ICryptol Binaries
 
diff --git a/examples/AES.ipynb b/examples/AES.ipynb
index 45b54bc..6f9d980 100644
--- a/examples/AES.ipynb
+++ b/examples/AES.ipynb
@@ -1,7 +1,7 @@
 {
  "metadata": {
   "name": "",
-  "signature": "sha256:782cd811378b012f2196bb7321a87dbb71da59c6a05dbd46dd9a1e7ac04a3cdc"
+  "signature": "sha256:cb2683fe1cbfb7b8b1e96857b4f174d7de6d17330a76b110971ebe2453990345"
  },
  "nbformat": 3,
  "nbformat_minor": 0,
@@ -295,22 +295,6 @@
      "language": "python",
      "metadata": {},
      "outputs": [
-      {
-       "metadata": {},
-       "output_type": "display_data",
-       "text": [
-        "[warning] at <notebook>:7:1--9:23:\n",
-        "  Defaulting type parameter 'bits'\n",
-        "             of finite enumeration\n",
-        "             at <notebook>:8:61--8:69\n",
-        "  to 2\n",
-        "[warning] at <notebook>:2:1--4:20:\n",
-        "  Defaulting type parameter 'bits'\n",
-        "             of finite enumeration\n",
-        "             at <notebook>:3:58--3:66\n",
-        "  to 2\n"
-       ]
-      },
       {
        "html": [],
        "metadata": {},
@@ -348,22 +332,6 @@
      "language": "python",
      "metadata": {},
      "outputs": [
-      {
-       "metadata": {},
-       "output_type": "display_data",
-       "text": [
-        "[warning] at <notebook>:7:1--9:23:\n",
-        "  Defaulting type parameter 'bits'\n",
-        "             of finite enumeration\n",
-        "             at <notebook>:8:61--8:69\n",
-        "  to 2\n",
-        "[warning] at <notebook>:2:1--4:20:\n",
-        "  Defaulting type parameter 'bits'\n",
-        "             of finite enumeration\n",
-        "             at <notebook>:3:58--3:66\n",
-        "  to 2\n"
-       ]
-      },
       {
        "html": [],
        "metadata": {},
@@ -390,22 +358,6 @@
      "language": "python",
      "metadata": {},
      "outputs": [
-      {
-       "metadata": {},
-       "output_type": "display_data",
-       "text": [
-        "[warning] at <notebook>:7:1--9:23:\n",
-        "  Defaulting type parameter 'bits'\n",
-        "             of finite enumeration\n",
-        "             at <notebook>:8:61--8:69\n",
-        "  to 2\n",
-        "[warning] at <notebook>:2:1--4:20:\n",
-        "  Defaulting type parameter 'bits'\n",
-        "             of finite enumeration\n",
-        "             at <notebook>:3:58--3:66\n",
-        "  to 2\n"
-       ]
-      },
       {
        "html": [],
        "metadata": {},
@@ -458,27 +410,6 @@
      "language": "python",
      "metadata": {},
      "outputs": [
-      {
-       "metadata": {},
-       "output_type": "display_data",
-       "text": [
-        "[warning] at <notebook>:11:1--11:9:\n",
-        "  Defaulting type parameter 'bits'\n",
-        "             of literal or demoted expression\n",
-        "             at <notebook>:14:32--14:33\n",
-        "  to 3\n",
-        "[warning] at <notebook>:7:1--9:23:\n",
-        "  Defaulting type parameter 'bits'\n",
-        "             of finite enumeration\n",
-        "             at <notebook>:8:61--8:69\n",
-        "  to 2\n",
-        "[warning] at <notebook>:2:1--4:20:\n",
-        "  Defaulting type parameter 'bits'\n",
-        "             of finite enumeration\n",
-        "             at <notebook>:3:58--3:66\n",
-        "  to 2\n"
-       ]
-      },
       {
        "html": [],
        "metadata": {},
@@ -498,27 +429,6 @@
      "language": "python",
      "metadata": {},
      "outputs": [
-      {
-       "metadata": {},
-       "output_type": "display_data",
-       "text": [
-        "[warning] at <notebook>:11:1--11:9:\n",
-        "  Defaulting type parameter 'bits'\n",
-        "             of literal or demoted expression\n",
-        "             at <notebook>:14:32--14:33\n",
-        "  to 3\n",
-        "[warning] at <notebook>:7:1--9:23:\n",
-        "  Defaulting type parameter 'bits'\n",
-        "             of finite enumeration\n",
-        "             at <notebook>:8:61--8:69\n",
-        "  to 2\n",
-        "[warning] at <notebook>:2:1--4:20:\n",
-        "  Defaulting type parameter 'bits'\n",
-        "             of finite enumeration\n",
-        "             at <notebook>:3:58--3:66\n",
-        "  to 2\n"
-       ]
-      },
       {
        "html": [],
        "metadata": {},
@@ -592,37 +502,6 @@
      "language": "python",
      "metadata": {},
      "outputs": [
-      {
-       "metadata": {},
-       "output_type": "display_data",
-       "text": [
-        "[warning] at <notebook>:2:1--5:39:\n",
-        "  Defaulting type parameter 'bits'\n",
-        "             of finite enumeration\n",
-        "             at <notebook>:2:36--2:51\n",
-        "  to 4\n",
-        "[warning] at <notebook>:2:1--5:39:\n",
-        "  Defaulting type parameter 'bits'\n",
-        "             of literal or demoted expression\n",
-        "             at <notebook>:2:60--2:63\n",
-        "  to 4\n",
-        "[warning] at <notebook>:11:1--11:9:\n",
-        "  Defaulting type parameter 'bits'\n",
-        "             of literal or demoted expression\n",
-        "             at <notebook>:14:32--14:33\n",
-        "  to 3\n",
-        "[warning] at <notebook>:7:1--9:23:\n",
-        "  Defaulting type parameter 'bits'\n",
-        "             of finite enumeration\n",
-        "             at <notebook>:8:61--8:69\n",
-        "  to 2\n",
-        "[warning] at <notebook>:2:1--4:20:\n",
-        "  Defaulting type parameter 'bits'\n",
-        "             of finite enumeration\n",
-        "             at <notebook>:3:58--3:66\n",
-        "  to 2\n"
-       ]
-      },
       {
        "html": [],
        "metadata": {},
@@ -658,37 +537,6 @@
      "language": "python",
      "metadata": {},
      "outputs": [
-      {
-       "metadata": {},
-       "output_type": "display_data",
-       "text": [
-        "[warning] at <notebook>:2:1--5:39:\n",
-        "  Defaulting type parameter 'bits'\n",
-        "             of finite enumeration\n",
-        "             at <notebook>:2:36--2:51\n",
-        "  to 4\n",
-        "[warning] at <notebook>:2:1--5:39:\n",
-        "  Defaulting type parameter 'bits'\n",
-        "             of literal or demoted expression\n",
-        "             at <notebook>:2:60--2:63\n",
-        "  to 4\n",
-        "[warning] at <notebook>:11:1--11:9:\n",
-        "  Defaulting type parameter 'bits'\n",
-        "             of literal or demoted expression\n",
-        "             at <notebook>:14:32--14:33\n",
-        "  to 3\n",
-        "[warning] at <notebook>:7:1--9:23:\n",
-        "  Defaulting type parameter 'bits'\n",
-        "             of finite enumeration\n",
-        "             at <notebook>:8:61--8:69\n",
-        "  to 2\n",
-        "[warning] at <notebook>:2:1--4:20:\n",
-        "  Defaulting type parameter 'bits'\n",
-        "             of finite enumeration\n",
-        "             at <notebook>:3:58--3:66\n",
-        "  to 2\n"
-       ]
-      },
       {
        "html": [],
        "metadata": {},
@@ -718,37 +566,6 @@
      "language": "python",
      "metadata": {},
      "outputs": [
-      {
-       "metadata": {},
-       "output_type": "display_data",
-       "text": [
-        "[warning] at <notebook>:2:1--5:39:\n",
-        "  Defaulting type parameter 'bits'\n",
-        "             of finite enumeration\n",
-        "             at <notebook>:2:36--2:51\n",
-        "  to 4\n",
-        "[warning] at <notebook>:2:1--5:39:\n",
-        "  Defaulting type parameter 'bits'\n",
-        "             of literal or demoted expression\n",
-        "             at <notebook>:2:60--2:63\n",
-        "  to 4\n",
-        "[warning] at <notebook>:11:1--11:9:\n",
-        "  Defaulting type parameter 'bits'\n",
-        "             of literal or demoted expression\n",
-        "             at <notebook>:14:32--14:33\n",
-        "  to 3\n",
-        "[warning] at <notebook>:7:1--9:23:\n",
-        "  Defaulting type parameter 'bits'\n",
-        "             of finite enumeration\n",
-        "             at <notebook>:8:61--8:69\n",
-        "  to 2\n",
-        "[warning] at <notebook>:2:1--4:20:\n",
-        "  Defaulting type parameter 'bits'\n",
-        "             of finite enumeration\n",
-        "             at <notebook>:3:58--3:66\n",
-        "  to 2\n"
-       ]
-      },
       {
        "html": [],
        "metadata": {},
@@ -780,37 +597,6 @@
      "language": "python",
      "metadata": {},
      "outputs": [
-      {
-       "metadata": {},
-       "output_type": "display_data",
-       "text": [
-        "[warning] at <notebook>:2:1--5:39:\n",
-        "  Defaulting type parameter 'bits'\n",
-        "             of finite enumeration\n",
-        "             at <notebook>:2:36--2:51\n",
-        "  to 4\n",
-        "[warning] at <notebook>:2:1--5:39:\n",
-        "  Defaulting type parameter 'bits'\n",
-        "             of literal or demoted expression\n",
-        "             at <notebook>:2:60--2:63\n",
-        "  to 4\n",
-        "[warning] at <notebook>:11:1--11:9:\n",
-        "  Defaulting type parameter 'bits'\n",
-        "             of literal or demoted expression\n",
-        "             at <notebook>:14:32--14:33\n",
-        "  to 3\n",
-        "[warning] at <notebook>:7:1--9:23:\n",
-        "  Defaulting type parameter 'bits'\n",
-        "             of finite enumeration\n",
-        "             at <notebook>:8:61--8:69\n",
-        "  to 2\n",
-        "[warning] at <notebook>:2:1--4:20:\n",
-        "  Defaulting type parameter 'bits'\n",
-        "             of finite enumeration\n",
-        "             at <notebook>:3:58--3:66\n",
-        "  to 2\n"
-       ]
-      },
       {
        "html": [],
        "metadata": {},
@@ -842,37 +628,6 @@
      "language": "python",
      "metadata": {},
      "outputs": [
-      {
-       "metadata": {},
-       "output_type": "display_data",
-       "text": [
-        "[warning] at <notebook>:2:1--5:39:\n",
-        "  Defaulting type parameter 'bits'\n",
-        "             of finite enumeration\n",
-        "             at <notebook>:2:36--2:51\n",
-        "  to 4\n",
-        "[warning] at <notebook>:2:1--5:39:\n",
-        "  Defaulting type parameter 'bits'\n",
-        "             of literal or demoted expression\n",
-        "             at <notebook>:2:60--2:63\n",
-        "  to 4\n",
-        "[warning] at <notebook>:11:1--11:9:\n",
-        "  Defaulting type parameter 'bits'\n",
-        "             of literal or demoted expression\n",
-        "             at <notebook>:14:32--14:33\n",
-        "  to 3\n",
-        "[warning] at <notebook>:7:1--9:23:\n",
-        "  Defaulting type parameter 'bits'\n",
-        "             of finite enumeration\n",
-        "             at <notebook>:8:61--8:69\n",
-        "  to 2\n",
-        "[warning] at <notebook>:2:1--4:20:\n",
-        "  Defaulting type parameter 'bits'\n",
-        "             of finite enumeration\n",
-        "             at <notebook>:3:58--3:66\n",
-        "  to 2\n"
-       ]
-      },
       {
        "html": [],
        "metadata": {},