Gradual improvement

Documentation is more complete, including:

1. instructions for avoiding spurious warnings
2. stopped claiming to work around an un-workaroundable SPM bug

Removed non-functioning workaround.