(- doc fix) Discard attempt to float GitHub badges