Question: Where is the user registration html code ?

Answer: The registration html code that is on header is located on top_user_menu.php file.

Please note that there is also a widget (wp-content\plugins\wpresidence-core\widgets\login_widget.php)  and a shortcode on wp-content\plugins\wpresidence-core\shortcodes\shortcodes.php