• Hupf@feddit.org
    link
    fedilink
    arrow-up
    9
    ·
    4 days ago

    In case of the start menu, the sensible thing would be to optimize it sufficiently so that it doesn’t hurt being kept ready constantly.