I made the section that drops options quite verbose because it took me a while to
figure out whether an option should be included or not. I hope I got everything
right.