Version 7 has launched. This does not mean it is the official version of docs just yet. A new logo was drafted (not an aimagination) and is seen above. At some point the image will be sent to a real artist to buff it up. No luck making the favicon work though. The site favicon.io did a great job banging out all the versions that were needed. The problem is where to put the favicon that was made. I was not able to understand the Antoradocs explanation. So presently no favourite icon shows up in the docs, but is working fine on this WordPress site.