Yes, that is in the works. As we move more of the dev documentation to docs, F1 will point to the new site.
Yes, that is in the works. As we move more of the dev documentation to docs, F1 will point to the new site.