Issue with documentation at https://doc.liberty-eiffel.org/

[Mischa Megens]

    Dear liberty-eiffel,
    
    When I try to access the information at
    https://doc.liberty-eiffel.org/ under 'The core library' (the first
    bullet point on the page), then I am referred to
    https://doc.liberty-eiffel.org/api/libraries/index.html
    However, it appears there is no longer an index.html at
    https://doc.liberty-eiffel.org/api/libraries/

    and I end up with a
    "Not Found
    The requested URL was not found on this server."
    What happened?
    
    With kind regards,
    Mischa