For AF023/007/019, there is indeed a menu available to order a main course and my understanding is that you are “on your own” for appetizer, cheese, desert and drinks using the buffet (while all those, including drinks, are served by the waiter at your table for AF011/009). There are some signs upstairs advertising the availability of hot main courses, but it’s not really advertised by the staff. So what you had is not an exception. It is available every day but in a more systematic fashion now since the renovation of the upper floor.