Fix some HTML related warnings found by HTMLLint ✔️

[jamacku]

No description provided.

[lzaoral]

Thank you @jamacku! W3C HTML validator shows following warnings:

Warning: The name attribute is obsolete. Consider putting an id attribute on the nearest container instead.

[From line 7, column 37; to line 8, column 15](https://validator.w3.org/nu/#l8c15)

re-wrap;'>↩<a name='def1'></a><b

It should be quite easy to replace name with id as suggested in https://developer.mozilla.org/en-US/docs/Web/HTML/Element/a#name

[jamacku]

@lzaoral Good point, resolved in 64372ac

[kdudka]

Looks good. Thanks!