Also haven't seen it done yet. Maybe because Auth0 is a developer product, most of the developers ended up just adding HTML manually. But still I can imagine having a direct integration is way more convenient.

I get what you mean, but it could definitely be a nice way to get users familiar with the tool.