Thanks for your reply, Neemobeer. I ran the command, then for a while the cursor was spinning while the Start menu was open after I typed some letters like in the screenshot I sent. That made me hope that some index-rebuilding operation was underway, but unfortunately after the cursor stopped spinning (+/- 5 minutes), the situation is unchanged.