Good idea. I made it so the JS creates the DOM for the checkbox (so it's not uselessly there when JS isn't available) and only does so if the notifications API is available.