Reverted because this creates crossing ways: changeset/159588912

I don't think the portion of the cycleway under LSD is tunneled as LSD is already bridged

You're right, that does appear to be the convention in Wisconsin and elsewhere. Returned the name to the dual name and added a separate name:en tag

Where are these names coming from? There's no separate signage for these bike lanes; the bike lanes are functionally part of the street

I think you forgot to update the cycleway tag on Polk Street to cyleway:both=separate. I've fixed that in #152506152

No, good catch. Fixed in changeset/148548902