3 ms·User-submitted issues would be great! Logging them on GitHub would be the most convenient.by alnis 13y agoUser-submitted issues would be great! Logging them on GitHub would be the most convenient.