there is this one:
Name : redsleeve-indexhtml
Version : 7
Release : 9.el7.0
Install Date: (not installed)
Group : Documentation
Size : 88827
License : Distributable
Signature : RSA/SHA1, Fri 23 Sep 2016 11:43:20 PM CEST, Key ID 203bde052ff3695b
Source RPM : redsleeve-indexhtml-7-9.el7.0.src.rpm
Build Date : Mon 06 Jul 2015 10:31:29 PM CEST
Build Host : baymax.shatteredsilicon.net
Relocations : (not relocatable)
Summary : Browser default start page for RedSleeve
The indexhtml package contains the welcome page shown by your Web browser,
which you'll see after you've successfully installed RedSleeve Linux
You received this message because you are subscribed to the Google Groups "redsleeve-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to redsleeve-use...@googlegroups.com.
To view this discussion on the web, visit https://groups.google.com/d/msgid/redsleeve-users/51ee82a5-6011-2a56-a92e-86f0e34c3a7d%40redsleeve.org.