Ok.  Maybe you're right -- I just always think of double underscores as indicating something "special", which these are not.  @NelleV, as our PEP8 expert, what do you think?