Remove unused files. Update snomask.html documentation.