Hello, I noticed that the Issue got the "Done" Tag applied to it. However the search for vcert playbook still doesn't seem to return any result when using the programming lens.
Can somebody clarify if the following domains aren't supposed to be shown with the "Programming" lens:
pkg.go.dev
github.com
pypi.org
These domains show up in the search results, when you don't use any specific lens.