A collection of utilities to progressively enhance <details> with new features