On a glimpse I spot at least two issues:
2001:db80::/56 is wrong:
RFC 3849 defines 2001:DB8::/32. db8 != db80.
The second: Using "ip6hint abcd" on the guest interface is wrong, because the rounter has only a /56 and abcd is fairly off from ff.
I'm having difficulty understanding your issue. Are you merely saying the examples in the Wiki are incorrect because they should use RFC-approved example addresses?
I'll have to look at this. I believe it's likely that the author wasn't considering this when drafting an example.
Do you have a Wiki account?
No i have no wiki account and I think the author wanted to use 2001:db8 but for some reason introduced a typo and made up db80.
The second issue: abcd would be valid within the /48 but not within the /56.