Editorial: turn "exceptions enabled" into a flag

[annevk]

No description provided.

[annevk]

I also added "Rethrow any exceptions" to all callers.

[annevk]

This is blocking #1130 since that wants to turn another inexplicit parameter into an explicit one. Would be easier if this landed first and if this requires a different approach I'd rather sort that out first.

[domenic]

A bunch of other flags in the document seem to have their <dfn> and <var>/<span> references include the word "flag". A bunch more don't. It's maybe half-half.

I prefer it with "flag" included; you're defining the "exceptions enabled flag", not "exceptions enabled". It would be good to change this here, and maybe in the future try to uniformize things.

LGTM otherwise.

[annevk]

You're fine with linking back to the argument? I wasn't super sure on that part myself.

[domenic]

I'm not so sure either; it's a bit inconsistent, but it seems better than the cases where we don't. Maybe another thing to do more of in the future...

[annevk]

It makes it easier to find the various call sites which use it which for such a widely referenced algorithm is quite nice.

[annevk]

Always easy to remove the <dfn> and <span>s if we change our mind later.