[DOC] Use svg instead of png to get better image quality