move and rename button (#8358)
authored by samuel.fm and committed by GitHub 10 months ago 6c28d7d5 a7e0070b