Question: Where is the user registration html code ?

Answer: The registration html code that is on header is located on top_user_menu.php around line 150.

Please note that there is also a widget (widgets/login_widgets.php)  and a shortcode on shortcodes.php around line 1115/