- https://leastfixedpoint.com/
- Joined on
2021-05-05
3bd2e62eff
Handle case of location deletion when location is home, and vice versa
bfd5037b5a
Fix spurious name-numbering
c567d0a223
Repair omitted field
49c754495b
Avoid removal of non-initial uninteresting words