I guess an important difference that extending Exception will make is that `on Exception catch (e)` will catch this; without extending, it won't.