[SR-Users] Topos / Remove HF_re