Doing extended attributes in a more HTML5 friendly way