Codidact account: https://software.codidact.com/users/8176. I consent to have any content written by me on the Stack Exchange network to get migrated to Codidact, with attribution given.