Should I go ahead an create an issue at Issues · processing/processing · GitHub? Is that the right palce?