We need to have html_show_sourcelink as True (default) so that "Report a bug" works, otherwise the source name is not available. Change-Id: I5300fa02908757ed77b30ef4bb9894136318e364