2.12.3.4: merging 2.12.3 official release and toning down ServerMonitor error logging