Extract tags from a web page, display them in a styled panel, and provide a copy function
As of 29. 12. 2023. See the latest version.