Shop with NO shipping still gets asked shipping address

I have a shop that only deals with Local Pickup.
Woocommerce was STILL asking for the shipping address, so I made those fields OPTIONAL (and in fact the address fields are not shown on screen) with a functions.php hack I found at https://www.tychesoftwares.com/how-to-make-fields-mandatory-or-optional-on-the-woocommerce-checkout-page/

I thought I was done.

However, when an order is to be placed, the Local Shipping option is not shown, presumably because no delivery address was entered (because I made the address optional) and instead it says “There are no shipping options available. Please ensure that your address has been entered correctly, or contact us if you need any help.”

So how can I tell woocommerce to IGNORE the customer delivery address and display the Local Pickup option regardless of the address?