Sevilla 16.3.2 is available

Sevilla 16.3.2 is available. This version fixes a few web publishing problems of the previous version. There is no new functionality relative to version 16.3.1. Download here.