Vias should not have solder mask openings by default. This increases risk of shorting. Yet in Flux, vias show a solder mask opening by default. However, in Gerbers, there are no openings. Therefore, Flux is incorrectly showing solder mask openings for vias.