cleanup; github button