chore: tidy extensions.html #164

Closed marcoscaceres closed 2 years ago