I have already looked at this question, but when I open Android SDK Manager, I only see Android SDK Platform-tools, Revision 20 which is already installed.
I have also looked at this queston, but that did nothing because I already had revision 20.
Finally, I have looked at this page which lists the platform-tools as a dependency but does not explain how to get a particular revision for them.
How might I obtain revision 18?