It seems Excel still can’t tell me the days in a particular month.
The following formula works, though:
=DAY(DATE(YEAR(A1),MONTH(A1)+1,1)-1)
Obviously, A1 has to have a date in it.
Works like a charm:
Update, much, much later: Looks like LibreOffice has a DAYSINMONTH function.