I submitted this (as an issue, to be added later).
reply