--- a/src/Tools/jEdit/README.html Tue Nov 20 14:29:46 2012 +0100
+++ b/src/Tools/jEdit/README.html Tue Nov 20 14:55:52 2012 +0100
@@ -184,6 +184,21 @@
</ul>
+<h2>Known problems with Mac OS X</h2>
+
+<ul>
+
+<li>The MacOSX plugin for jEdit disrupts tends to be disruptive. It
+might or might not improve the user experience, and is off by
+default.</li>
+
+<li>Java 7 (by Oracle) is officially supported starting with Lion (or
+later), but not Snow Leopard. It happens to work on the latter as
+well, but there might be some instabilities.</li>
+
+</ul>
+
+
<h2>Licenses and home sites of contributing systems</h2>
<ul>