Dogfood changes to Tinkerer (search update, WAI-ARIA roles, new patch.py)