* HTML_sources: make the list writable.