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