djdb.optimize_filter_dict() passes tests and connection.db.queries profiling shows some gain.
GetLagForm no longer requires exclude field.
pug.miner.views.context_from_request sets initial value for name.