There should probably be a wiki somewhere, where bugs like those are documented, so various developers don't have to rediscover them all the time.