This is approximately what it USED to look like. You could directly ignore a poster by clicking on their name and selecting the bottom option. Much easier than going to "Edit Ignore List" where you have to manually add a user (and you need to spell their username correctly). The function seemed to disappear some time in 2024.