docs: add favicon
Use the same favicon we use in Doxygen.
Also, brings back a missing page.
Unless there is a rush I will merge this after !10427 (merged) so we can test that the new ci rule works.
Edited by Christos Tsolakis
Use the same favicon we use in Doxygen.
Also, brings back a missing page.
Unless there is a rush I will merge this after !10427 (merged) so we can test that the new ci rule works.