Redirecting from
/posts/2018/05/managing-redirects-easier.html.html
to
/posts/2018-05-managing-redirects-easier.html/