not relevant i had noticed that you reverted my edit but i couldn't care enough to try to fight for it if you think it is not relevant then that is fine though i would still advise to write it somewhere as that kind of information is definitely worth knowing if not merely interesting