"issue" filed. My apologies for the lack of brevity.

https://github.com/build2/build2/issues/135