Please report bugs encountered after the server maintenance on 6 December 2018