① In the left menu, choose Capitalisation, then click on Pools
② For the concerned pool, click on the "..." at the end of the line then click on Edit
③ A window appears, allowing you to edit, export or terminate your pool:
Warning: It is not possible to delete a pool that is used in one or more existing operations. If you still want to delete this pool, you will have to delete the operations that involve it.