I'm attaching an updated patch #11 that fixes the __div__ thing the
other way, and then a new patch #12 that fixes a few other minor things
found after I fixed a bug in pocketlint. With these patches attached,
blivet passes pocketlint for me with no output. Hooray!
- Chris