is_stack_unbounded() has been renamed; remove note requesting that.