How to do a (serverless) web redirection in AWS Route53?

Imagine you are using a DNS provider and you have a domain example.com and example.net redirecting to example.com. It's pretty easy to set up. One day you migrate to AWS Route53 because you want geolocation, load balancing, or something of the sort. ...