Short form of [RildoPragana], for wiki discussions and comments.