The plugin that was doing the job wasn’t compatible with newer versions of php, so I had to find a new one. Then I had permission problems, which seem to not want to resolve… so I forgot about it. Then this morning I realised it was just a .htaccess thing. Now it should take care of itself!