職場の従業員用トイレの水道が、手動から自動に変わってました。いつの間に。