there is this one:
http://ftp.redsleeve.org/pub/el7-devel/el7/7.7/extra/RPMS/redsleeve-indexhtml-7-9.el7.0.noarch.rpm
which says
Name : redsleeve-indexhtml
Version : 7
Release : 9.el7.0
Architecture: noarch
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
Description :
The indexhtml package contains the welcome page shown by
your Web browser,
which you'll see after you've successfully installed
RedSleeve Linux
Jacco
--
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.