The notational convenience of imaginary time in the derivation of the metric in Poincaré coordinates

In general relativity, people usually choose one of the two major metric signatures. However, in certain cases, the imaginary time convention can be more convenient. Here is one of such cases: the derivation of the metric in Poincaré coordinates for the anti-de Sitter space.