> You refer to "OEIS policy". Is there documentation of these policies? My fault - I need to write up all these rules, in the Style Sheet page on the wiki. I will try to do it in the next few months. Neil