That's right. Also `/<time[^>]+` will make sure that the `<time>` element hasn't prematurely been closed before you hit the `datetime` attribute.