GitHub issues is for known/validated bugs. Unless Laf says to do so. I wouldn’t post it in git. Leave it here for now.