For what it's worth, long ago I was caught by that once, too. To fix it, I think all one would have to do is make the doc badges 2x larger (if possible).
--Tim On Sunday, August 14, 2016 1:22:26 AM CDT Kristoffer Carlsson wrote: > What did you expect them to be? They are right under a big table header > saying "Documentation". They have the same style as the other badges which > are also clickable and have been for years. I think it is worth seeing if > more people can't find the documentation before doing any changes.
