New PATCH release 05.00.01 Changes since 05.00.00: * Fixed installation path for documentation in debian package