Fixed github logo in developer manual