Make <textarea≥ read-only - Fixes #2