Two paths here are not designated or specified for use so I reverted them back to highway=path and removed steps that don't exist IRL. A few other changes to roads' names based on street signs.

Road types, names, access

Ditto last changeset, forgot the crossings

Updated the Shepard and 13th sidepaths' access tags to match IRL signage.

Retagged many generic paths and footpaths. If a pathway only connects to sidewalks, it is probably a footpath. If it connects to a road, it's okay to keep a path (which implies bikeable travel). Generic paths assume bikeability. Footpaths do not.

Cleaned up the tags and geometries of two roundabouts.

Removed duplicate and unnecessary relations for the Root River Pathway (North, East, West, Far South) and combined all into the original RRP relation.

Removed duplicate and unnecessary relations for the Root River Pathway (North, East, West, Far South) and combined all into the original. Corrected misspellings.

Created a route relation for the Racine Trail (although calling it this is debatable - it seems better suited for a nameless relation with network=US:WI:Racine) based on source link

Created a route relation for the Pike River Pathway.

Added alt members to the 100MT.

Missed some one-way tags on my last changeset that should aid with algorithmic routing at this roundabout.

Removed =destination.

Added and corrected bike gutters and sharrows.

I missed the one-way tag and a crossing on my last changeset.

Adjusted route members

Parking-protected bike lanes between Burleigh and Keefe.

Aligned and adjusted roadways and crossings.

The path through Chad Erickson Park is not designated.

Bike lanes, sidewalks, paths, crossings.