[mplanchard]

Just in case anyone doesn’t know how to reverse this, you can click on your username in the top right, then click on “hidden,” then unhide anything you hid accidentally.