Adds a custom attribute (url-url) to all body tags, to make it easier for CSS extensions to target specific URL's.
Ekde 2023/08/26. Vidu La ĝisdata versio.
