I've commented here because I'm still trying to figure out where I'm supposed to file an issue. Could you point me to the right place?