- Added workaround for	a WebKit selection bug (selecting <OL>s fails, too)
 - Added method	to auto-detect some selection problem (no automatic fix, but makes debugging easier.)