FediTips has moved!It's complicated, because it doesn't just hide stuff but removes your followers and follows from that server. If it said mute, people wouldn't expect the follower/follow removal.
There's a discussion of this issue on the github, might be worth following up? I agree it is a misleading term.
GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.
All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.