GitHub repository: lavahot/removert
Description: Remove then revert (IROS 2020)