Redirect to the WooCommerce checkout page after login

redirect_to_checkout_after_login.php

<?php
add_filter( 'woocommerce_registration_error_email_exists', function( $html ) {
    $url =  wc_get_page_permalink( 'myaccount' );
    $url = add_query_arg( 'redirect_checkout', 1, $url );
    $html = str_replace( 'Please log in', '<a href="'.$url.'"><strong>Please log in</strong></a>', $html );
    return $html;
} );

add_filter( 'woocommerce_login_redirect', function( $redirect, $user ) {
    if ( $_GET['redirect_checkout'] ) {
        return wc_get_checkout_url();
    } elseif ( wp_get_referer() ) {
	return wp_get_referer();
    } else {
	return $redirect;
    }
}, 10, 2 );

I don't like to use the regular login form for the checkout page. So I wrote these two filters to add:
a) a link to the regular login page (if the user's email address exists)
b) a redirect to the checkout page after login.