chore: drop unused cruft

Should have gone with 71c7bd5.