Rename lab12.html to regex.html