Automatic mirror for better search and green squares. All work should be done in the main repo.
OtherNOASSERTION
https://github.com/edo9300/edopro