Short form of RildoPragana, for wiki discussions and comments.