3 ms·agree, so I think /usr/local should be keptby synergy20 3y agoagree, so I think /usr/local should be kept