The `VerifiableRegistry.available_verifiables` scope was meant to
invoke `synced`. And in that case, the overrides are unnecessary.