re: #529 jcm

If jumping off the cliff was the popular thing to do, would you?

No. The roof, maybe.